| Tue, 31 May 2005 11:53:12 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 22 May 2005 16:51:07 +0200 | wenzelm | Simplifier already setup in Pure; | file | diff | annotate |
| Thu, 21 Apr 2005 22:02:06 +0200 | wenzelm | superceded by Pure.thy and CPure.thy; | file | diff | annotate |
| Thu, 07 Apr 2005 13:29:41 +0200 | paulson | new meta-level rules | file | diff | annotate |
| Tue, 05 Apr 2005 13:05:20 +0200 | paulson | arg_cong2 by Norbert Voelker | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Thu, 10 Feb 2005 18:51:12 +0100 | nipkow | Moved oderings from HOL into the new Orderings.thy | file | diff | annotate |
| Tue, 01 Feb 2005 18:01:57 +0100 | paulson | the new subst tactic, by Lucas Dixon | file | diff | annotate |
| Sat, 18 Dec 2004 17:14:33 +0100 | schirmer | added simproc for Let | file | diff | annotate |
| Wed, 15 Dec 2004 10:19:01 +0100 | paulson | removal of HOL_Lemmas | file | diff | annotate |
| Tue, 07 Dec 2004 16:15:05 +0100 | paulson | proof of subst by S Merz | file | diff | annotate |
| Thu, 02 Dec 2004 12:28:09 +0100 | nipkow | Fixed print translation for ALL x > y etc | file | diff | annotate |
| Thu, 02 Dec 2004 11:59:34 +0100 | nipkow | added ALL print-translation for > and >=. | file | diff | annotate |
| Thu, 02 Dec 2004 11:42:01 +0100 | nipkow | Added "ALL x > y" and relatives. | file | diff | annotate |
| Wed, 01 Dec 2004 18:11:13 +0100 | nipkow | Added > and >= sugar | file | diff | annotate |