| Wed, 15 Feb 2006 23:57:06 +0100 | obua | fixed bugs, added caching | file | diff | annotate |
| Mon, 06 Feb 2006 20:58:54 +0100 | wenzelm | Envir.(beta_)eta_contract; | file | diff | annotate |
| Sat, 21 Jan 2006 23:02:14 +0100 | wenzelm | simplified type attribute; | file | diff | annotate |
| Sat, 14 Jan 2006 17:14:06 +0100 | wenzelm | sane ERROR handling; | file | diff | annotate |
| Thu, 22 Dec 2005 12:27:10 +0100 | paulson | Fixed a use of an outdated Substring function | file | diff | annotate |
| 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 |
| Sat, 24 Sep 2005 23:55:17 +0200 | obua | set show_types and show_sorts during import | file | diff | annotate |
| Sat, 24 Sep 2005 13:26:40 +0200 | obua | remove debug clutter | file | diff | annotate |
| Sat, 24 Sep 2005 10:47:22 +0200 | obua | bug fix | file | diff | annotate |