| 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-09-28 | wenzelm | tuned; | file | diff | annotate |
| 2001-09-27 | wenzelm | tuned; | file | diff | annotate |
| 2001-09-27 | wenzelm | tuned; | file | diff | annotate |
| 2001-09-27 | wenzelm | derive tertium-non-datur by means of Hilbert's choice operator; | file | diff | annotate |