Revisions of: Substitute

 Andreas 1 year, 1 month ago kleine korrektur [CURRENT]
 Andreas 1 year, 1 month 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 2 years, 2 months ago start with refactoring the wiki be80871