| 2007-10-05 | nipkow | added lemmas | file | diff | annotate |
| 2007-09-14 | paulson | tidied | file | diff | annotate |
| 2006-07-04 | ballarin | Typo. | file | diff | annotate |
| 2005-12-13 | paulson | meson no longer does these examples | file | diff | annotate |
| 2005-07-20 | paulson | revised examples | file | diff | annotate |
| 2005-06-17 | haftmann | migrated theory headers to new format | file | diff | annotate |
| 2005-02-02 | paulson | tidying of some subst/simplesubst proofs | file | diff | annotate |
| 2005-02-01 | paulson | the new subst tactic, by Lucas Dixon | file | diff | annotate |
| 2004-11-22 | nipkow | fixed proof | file | diff | annotate |
| 2004-01-12 | paulson | Added lemmas to Ring_and_Field with slightly modified simplification rules | file | diff | annotate |
| 2002-05-07 | wenzelm | tuned presentation; | file | diff | annotate |
| 2002-03-14 | paulson | converted theory "set" to Isar and added some SET-VAR examples | file | diff | annotate |
| 2000-06-21 | wenzelm | fixed deps; | file | diff | annotate |