| 2009-04-20 | haftmann | 2009-04-20 | power operation on functions with syntax o^; power operation on relations with syntax ^^ | file | diff | annotate |
| 2008-06-25 | wenzelm | 2008-06-25 | tuned proofs; | file | diff | annotate |
| 2007-07-11 | berghofe | 2007-07-11 | Adapted to new inductive definition package. | file | diff | annotate |
| 2005-12-08 | wenzelm | 2005-12-08 | tuned proofs; | file | diff | annotate |
| 2005-06-17 | haftmann | 2005-06-17 | migrated theory headers to new format | file | diff | annotate |
| 2004-04-14 | kleing | 2004-04-14 | use more symbols in HTML output | file | diff | annotate |
| 2002-05-10 | nipkow | 2002-05-10 | commented out half converted proof | file | diff | annotate |
| 2002-05-07 | nipkow | 2002-05-07 | a bit of conversion to structured proofs | file | diff | annotate |
| 2002-04-26 | nipkow | 2002-04-26 | New machine architecture and other direction of compiler proof. | file | diff | annotate |