Revisions of: Substitute

 Ruedi Seiler 2 years, 7 months ago Content updated (Substitute) [CURRENT]
 Andreas 6 years ago kleine korrektur d3f5b6c
 Andreas 6 years ago changed the first line on the purpose of substitute, and added a warning that one cannot replace the free variable by a literal number. c377349
 Greiser 7 years ago start with refactoring the wiki be80871