2008-06-25 | wenzelm | 2008-06-25 | modernized specifications; | 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 |
2001-12-09 | kleing | 2001-12-09 | converted to Isar | file | diff | annotate |
2000-07-04 | oheimb | 2000-07-04 | disambiguated := ; added Examples (factorial) | file | diff | annotate |