| Sat, 23 Oct 2010 23:42:04 +0200 | krauss | integrated partial_function into HOL-Plain | file | diff | annotate |
| Mon, 12 Jul 2010 10:48:37 +0200 | haftmann | dropped superfluous [code del]s | file | diff | annotate |
| Wed, 28 Apr 2010 11:52:04 +0200 | krauss | default termination prover as plain tactic | file | diff | annotate |