2008-04-18 | wenzelm | modernized specifications and proofs; | file | diff | annotate |
2008-01-27 | wenzelm | tuned; | file | diff | annotate |
2005-06-17 | haftmann | migrated theory headers to new format | file | diff | annotate |
2004-06-21 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
2001-12-05 | wenzelm | tuned; | file | diff | annotate |
2001-10-15 | wenzelm | tuned; | file | diff | annotate |
2001-10-12 | wenzelm | tuned; | file | diff | annotate |
2001-10-05 | wenzelm | induct: case names; | file | diff | annotate |
2001-10-04 | wenzelm | unsymbolized; | file | diff | annotate |
2001-10-04 | wenzelm | Theory of the natural numbers: Peano's axioms, primitive recursion. | file | diff | annotate |