| Tue, 04 Jul 2006 19:49:49 +0200 | wenzelm | Thm.varifyT; | file | diff | annotate |
| Tue, 13 Jun 2006 23:41:31 +0200 | wenzelm | use Drule.unvarify instead of obsolete Drule.freeze_all; | file | diff | annotate |
| Sat, 20 May 2006 23:36:55 +0200 | wenzelm | List.partition; | file | diff | annotate |
| Thu, 06 Apr 2006 16:13:17 +0200 | haftmann | cleanup in typedef/datatype package | file | diff | annotate |
| Tue, 14 Mar 2006 22:06:31 +0100 | wenzelm | string_of_mixfix; | file | diff | annotate |
| Thu, 16 Feb 2006 14:59:57 +0100 | obua | cache improvements | file | diff | annotate |
| Thu, 16 Feb 2006 04:17:19 +0100 | obua | variable counter is now also cached | file | diff | annotate |
| Thu, 16 Feb 2006 03:23:57 +0100 | obua | adapted to kernel changes | file | diff | annotate |
| 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 |