| Tue, 25 Jul 2006 21:17:58 +0200 | wenzelm | Drule.merge_rules; | file | diff | annotate |
| Sat, 21 Jan 2006 23:02:29 +0100 | wenzelm | simplified type attribute; | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:08 +0100 | wenzelm | setup: theory -> theory; | file | diff | annotate |
| Mon, 17 Oct 2005 23:10:24 +0200 | wenzelm | added type_solver (uses Simplifier.the_context); | file | diff | annotate |
| Tue, 16 Aug 2005 13:42:26 +0200 | wenzelm | OuterKeyword; | file | diff | annotate |
| Wed, 13 Jul 2005 16:07:21 +0200 | wenzelm | improved Net interface; | file | diff | annotate |
| Fri, 17 Jun 2005 18:35:27 +0200 | wenzelm | accomodate change of TheoryDataFun; | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Fri, 30 Jul 2004 10:44:27 +0200 | wenzelm | added context type solver; | file | diff | annotate |
| Tue, 07 May 2002 14:26:32 +0200 | wenzelm | use eq_thm_prop instead of slightly inadequate eq_thm; | file | diff | annotate |
| Wed, 28 Nov 2001 00:46:26 +0100 | wenzelm | theory data: removed obsolete finish method; | file | diff | annotate |
| Thu, 15 Nov 2001 18:15:13 +0100 | wenzelm | added TCSET(') tacticals; | file | diff | annotate |
| Wed, 14 Nov 2001 23:19:09 +0100 | wenzelm | Isar attribute and method setup; | file | diff | annotate |
| Thu, 08 Nov 2001 23:59:37 +0100 | wenzelm | theory data: finish method; | file | diff | annotate |
| Fri, 30 Apr 1999 18:10:03 +0200 | wenzelm | theory data: copy; | file | diff | annotate |
| Wed, 27 Jan 1999 10:31:31 +0100 | paulson | new typechecking solver for the simplifier | file | diff | annotate |
| Wed, 13 Jan 1999 11:57:09 +0100 | paulson | datatype package improvements | file | diff | annotate |
| Mon, 28 Dec 1998 16:57:02 +0100 | paulson | moved from ZF to new subdirectory Tools | file | diff | annotate |