| Sun, 29 Jan 2006 19:23:52 +0100 | wenzelm | declare atomize/defn for Ball; | file | diff | annotate |
| Thu, 15 Dec 2005 19:42:00 +0100 | wenzelm | removed obsolete/unused setup_induction; | file | diff | annotate |
| Fri, 07 Oct 2005 22:59:19 +0200 | wenzelm | replaced _K by dummy abstraction; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Tue, 01 Feb 2005 18:01:57 +0100 | paulson | the new subst tactic, by Lucas Dixon | file | diff | annotate |
| Tue, 08 Jun 2004 16:22:30 +0200 | paulson | Groups, Rings and supporting lemmas | file | diff | annotate |
| Tue, 01 Jun 2004 12:33:50 +0200 | wenzelm | removed obsolete sort 'logic'; | file | diff | annotate |
| Wed, 14 Apr 2004 14:13:05 +0200 | kleing | use more symbols in HTML output | file | diff | annotate |
| Fri, 10 Oct 2003 17:39:23 +0200 | paulson | finalconsts | file | diff | annotate |
| Thu, 10 Jul 2003 17:14:41 +0200 | paulson | Changed many Intersection rules from i:I to I~=0 to avoid introducing a new | file | diff | annotate |
| Fri, 27 Jun 2003 13:15:40 +0200 | paulson | Conversion of AllocBase to new-style | file | diff | annotate |
| Wed, 15 Jan 2003 16:45:32 +0100 | paulson | more new-style theories | file | diff | annotate |
| Thu, 23 May 2002 17:05:21 +0200 | paulson | new definition of "apply" and new simprule "beta_if" | file | diff | annotate |
| Mon, 13 May 2002 13:22:15 +0200 | paulson | quotes around types | file | diff | annotate |
| Wed, 08 May 2002 10:15:04 +0200 | paulson | the new predicate "relation" | file | diff | annotate |
| Tue, 07 May 2002 14:27:54 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 15 Feb 2002 12:07:27 +0100 | paulson | a new definition of "restrict" | file | diff | annotate |
| Tue, 15 Jan 2002 10:23:58 +0100 | paulson | split can now be unfolded even with one argument | file | diff | annotate |
| Wed, 19 Dec 2001 11:13:27 +0100 | paulson | separation of the AC part of Main into Main_ZFC, plus a few new lemmas | file | diff | annotate |
| Fri, 09 Nov 2001 00:09:47 +0100 | wenzelm | eliminated old "symbols" syntax, use "xsymbols" instead; | file | diff | annotate |
| Mon, 21 May 2001 14:53:11 +0200 | paulson | fixed the X-symbol syntax for lambda | file | diff | annotate |
| Fri, 30 Mar 2001 12:31:10 +0200 | paulson | the one-point rule for bounded quantifiers | file | diff | annotate |
| Fri, 15 Sep 2000 00:19:52 +0200 | wenzelm | tuned spacing of symbols syntax; | file | diff | annotate |
| Thu, 24 Aug 2000 11:05:20 +0200 | paulson | added some xsymbols, and tidied | file | diff | annotate |
| Wed, 10 Mar 1999 10:55:12 +0100 | wenzelm | HTML output; | file | diff | annotate |
| Thu, 07 Jan 1999 10:56:05 +0100 | paulson | if-then-else syntax for ZF | file | diff | annotate |
| Mon, 20 Oct 1997 10:53:42 +0200 | wenzelm | local; | file | diff | annotate |
| Thu, 16 Oct 1997 15:33:06 +0200 | wenzelm | global; | file | diff | annotate |
| Fri, 10 Oct 1997 18:23:31 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Mon, 22 Sep 1997 17:31:57 +0200 | wenzelm | tuned pattern syntax; | file | diff | annotate |