| Wed, 04 Apr 2007 23:29:33 +0200 | wenzelm | rep_thm/cterm/ctyp: removed obsolete sign field; | file | diff | annotate |
| Wed, 04 Apr 2007 00:11:03 +0200 | wenzelm | removed obsolete sign_of/sign_of_thm; | file | diff | annotate |
| Sat, 08 Jul 2006 12:54:49 +0200 | wenzelm | tuned interface; | file | diff | annotate |
| Mon, 19 Jun 2006 22:06:36 +0200 | wenzelm | refrain from reforming TFL -- back to previous revision; | file | diff | annotate |
| Mon, 19 Jun 2006 20:21:30 +0200 | wenzelm | eliminated freeze/varify in favour of Variable.import/export/trade; | file | diff | annotate |
| Tue, 13 Jun 2006 23:41:39 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 27 May 2006 17:42:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 14 Jan 2006 17:14:06 +0100 | wenzelm | sane ERROR handling; | file | diff | annotate |
| Wed, 09 Nov 2005 16:26:54 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 21 Oct 2005 18:14:38 +0200 | wenzelm | OldGoals; | file | diff | annotate |
| Fri, 23 Sep 2005 22:21:55 +0200 | wenzelm | tuned msg; | file | diff | annotate |
| Mon, 01 Aug 2005 19:20:29 +0200 | wenzelm | Sign.read_term; | file | diff | annotate |
| Thu, 14 Jul 2005 19:28:37 +0200 | wenzelm | replaced itlist by fold_rev; | file | diff | annotate |
| Sun, 05 Jun 2005 23:07:25 +0200 | wenzelm | Type.freeze; | file | diff | annotate |
| Fri, 04 Mar 2005 15:07:34 +0100 | skalberg | Removed practically all references to Library.foldr. | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Thu, 02 Sep 2004 14:50:00 +0200 | dixon | added code to make use of case splitting to prove the specification equations for recursive definitions. | file | diff | annotate |
| Fri, 20 Aug 2004 12:20:09 +0200 | paulson | fix to eliminate excessive case-splits in the recursion equations, by Luca Dixon | file | diff | annotate |
| Fri, 17 Oct 2003 11:03:48 +0200 | paulson | improved tracing | file | diff | annotate |
| Tue, 13 Aug 2002 22:01:53 +0200 | nipkow | arith_tac should not produce counter example | file | diff | annotate |
| Thu, 13 Dec 2001 16:48:07 +0100 | nipkow | Terminator now uses arith_tac as well. | file | diff | annotate |
| Mon, 03 Dec 2001 11:47:29 +0100 | wenzelm | HOLogic.read_cterm; | file | diff | annotate |
| Sun, 14 Oct 2001 22:15:07 +0200 | wenzelm | moved rulify to ObjectLogic; | file | diff | annotate |
| Fri, 28 Sep 2001 19:23:35 +0200 | wenzelm | prove: ``strict'' argument; | file | diff | annotate |
| Fri, 02 Feb 2001 22:21:06 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 03 Jan 2001 21:20:40 +0100 | wenzelm | renamed .sml files to .ML; | file | diff | annotate |