| 2010-08-11 | wenzelm | 2010-08-11 | modernized specifications; tuned headers; | file | diff | annotate |
| 2010-03-01 | krauss | 2010-03-01 | more recdef (and old primrec) hunting | file | diff | annotate |
| 2010-03-01 | haftmann | 2010-03-01 | replaced a couple of constsdefs by definitions (also some old primrecs by modern ones) | file | diff | annotate |
| 2010-02-23 | haftmann | 2010-02-23 | dropped axclass; dropped Id; session theory Hoare.thy | file | diff | annotate |
| 2010-02-10 | wenzelm | 2010-02-10 | modernized translations; | file | diff | annotate |
| 2005-10-07 | nipkow | 2005-10-07 | changes due to new neq_simproc in simpdata.ML | file | diff | annotate |
| 2005-06-17 | haftmann | 2005-06-17 | migrated theory headers to new format | file | diff | annotate |
| 2004-05-14 | paulson | 2004-05-14 | deleted redundant proof lines | file | diff | annotate |
| 2003-01-05 | nipkow | 2003-01-05 | *** empty log message *** | file | diff | annotate |