| Tue, 06 Dec 2005 09:04:09 +0100 | haftmann | re-oriented some result tuples in PureThy | file | diff | annotate |
| Fri, 21 Oct 2005 18:14:38 +0200 | wenzelm | OldGoals; | file | diff | annotate |
| Wed, 19 Oct 2005 21:52:29 +0200 | wenzelm | replaced commafy by existing commas; | file | diff | annotate |
| Tue, 18 Oct 2005 17:59:27 +0200 | wenzelm | Simplifier.theory_context; | file | diff | annotate |
| Mon, 26 Sep 2005 19:19:14 +0200 | wenzelm | moved disambiguate_frees to ProofKernel; | file | diff | annotate |
| Mon, 26 Sep 2005 16:10:19 +0200 | obua | Release HOL4 and HOLLight Importer. | file | diff | annotate |
| Mon, 26 Sep 2005 02:27:14 +0200 | obua | fixed disambiguation problem | file | diff | annotate |