| Tue, 07 Nov 2006 11:47:57 +0100 | wenzelm | renamed 'const_syntax' to 'notation'; | file | diff | annotate |
| Thu, 01 Jun 2006 21:14:54 +0200 | wenzelm | lemmas strip; | file | diff | annotate |
| Sat, 20 May 2006 23:36:49 +0200 | wenzelm | removed obsolete 'finalconsts'; | file | diff | annotate |
| Tue, 16 May 2006 21:33:01 +0200 | wenzelm | tuned concrete syntax -- abbreviation/const_syntax; | file | diff | annotate |
| Sun, 09 Apr 2006 18:51:13 +0200 | wenzelm | tuned syntax/abbreviations; | file | diff | annotate |
| Sat, 08 Apr 2006 22:51:06 +0200 | wenzelm | refined 'abbreviation'; | file | diff | annotate |
| Wed, 22 Feb 2006 22:18:31 +0100 | wenzelm | not_equal: replaced syntax translation by abbreviation; | file | diff | annotate |
| Tue, 31 Jan 2006 00:43:14 +0100 | wenzelm | declare defn rules; | file | diff | annotate |
| Fri, 27 Jan 2006 19:05:24 +0100 | wenzelm | added atomize_iff; | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:08 +0100 | wenzelm | setup: theory -> theory; | file | diff | annotate |
| Fri, 30 Dec 2005 16:56:57 +0100 | wenzelm | fixed final_consts; | file | diff | annotate |
| Thu, 22 Dec 2005 00:29:14 +0100 | wenzelm | structure ProjectRule; | file | diff | annotate |
| Thu, 29 Sep 2005 00:58:55 +0200 | wenzelm | more finalconsts; | file | diff | annotate |
| Fri, 23 Sep 2005 00:11:10 +0200 | nipkow | renamed rules to iprover | file | diff | annotate |
| Tue, 06 Sep 2005 16:59:51 +0200 | wenzelm | avoid old-style infixes; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| 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 |
| Tue, 01 Feb 2005 18:01:57 +0100 | paulson | the new subst tactic, by Lucas Dixon | file | diff | annotate |
| Tue, 07 Dec 2004 11:31:14 +0100 | paulson | proof of subst by S Merz | 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 |
| Thu, 16 Oct 2003 10:31:40 +0200 | paulson | partial conversion to Isar scripts | file | diff | annotate |
| Wed, 15 Jan 2003 16:44:21 +0100 | paulson | moving "let" from ZF to FOL | file | diff | annotate |
| Wed, 31 Jul 2002 14:34:08 +0200 | paulson | new theorem eq_commute | file | diff | annotate |
| Mon, 25 Feb 2002 20:48:14 +0100 | wenzelm | clarified syntax of ``long'' statements: fixes/assumes/shows; | file | diff | annotate |
| Tue, 12 Feb 2002 20:25:58 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 08 Jan 2002 00:03:42 +0100 | wenzelm | syntax "_not_equal"; | file | diff | annotate |
| Wed, 05 Dec 2001 03:00:39 +0100 | wenzelm | sym declarations; | file | diff | annotate |
| Tue, 04 Dec 2001 02:00:14 +0100 | wenzelm | renamed RuleContext to ContextRules; | file | diff | annotate |
| Mon, 03 Dec 2001 21:03:06 +0100 | wenzelm | setup "rules" method; | file | diff | annotate |
| Fri, 09 Nov 2001 00:09:47 +0100 | wenzelm | eliminated old "symbols" syntax, use "xsymbols" instead; | file | diff | annotate |
| Fri, 02 Nov 2001 22:01:07 +0100 | wenzelm | transitive declared in Pure; | file | diff | annotate |
| Sun, 28 Oct 2001 21:10:47 +0100 | wenzelm | equal_intr_rule already declared in Pure; | file | diff | annotate |
| Fri, 26 Oct 2001 23:59:13 +0200 | wenzelm | atomize_conj; | file | diff | annotate |
| Sat, 20 Oct 2001 20:18:45 +0200 | wenzelm | calculational rules moved from FOL to IFOL; | file | diff | annotate |
| Sun, 14 Oct 2001 22:15:07 +0200 | wenzelm | moved rulify to ObjectLogic; | file | diff | annotate |
| Sun, 14 Oct 2001 19:59:15 +0200 | wenzelm | judgment Trueprop; | file | diff | annotate |
| Fri, 12 Oct 2001 12:11:39 +0200 | wenzelm | declare impE iffD1 iffD2 ad elim of Pure; | file | diff | annotate |
| Thu, 04 Oct 2001 15:28:00 +0200 | wenzelm | atomize stuff from theory FOL; | file | diff | annotate |
| Thu, 07 Sep 2000 20:47:54 +0200 | wenzelm | updated setup; | file | diff | annotate |
| Fri, 04 Aug 2000 22:55:08 +0200 | wenzelm | setup hypsubst_setup; | file | diff | annotate |
| Wed, 25 Aug 1999 20:45:19 +0200 | wenzelm | proper bootstrap of IFOL/FOL theories and packages; | file | diff | annotate |
| Wed, 10 Mar 1999 10:55:12 +0100 | wenzelm | HTML output; | file | diff | annotate |
| Fri, 11 Dec 1998 18:56:30 +0100 | oheimb | added new print_mode "xsymbols" for extended symbol support | file | diff | annotate |
| Wed, 29 Apr 1998 11:29:39 +0200 | wenzelm | tuned setup; | file | diff | annotate |
| Sat, 04 Apr 1998 12:28:39 +0200 | wenzelm | replaced thy_data by thy_setup; | file | diff | annotate |
| Mon, 03 Nov 1997 12:26:45 +0100 | wenzelm | added simpset thy_data; | file | diff | annotate |
| Mon, 20 Oct 1997 10:38:36 +0200 | wenzelm | local; | file | diff | annotate |
| Thu, 16 Oct 1997 15:33:06 +0200 | wenzelm | global; | file | diff | annotate |
| Fri, 10 Oct 1997 15:52:12 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Tue, 10 Dec 1996 13:03:44 +0100 | wenzelm | fixed pris of binder syntax; | file | diff | annotate |
| Wed, 27 Nov 1996 16:42:48 +0100 | wenzelm | symbol names changes; | file | diff | annotate |
| Mon, 18 Nov 1996 17:33:35 +0100 | wenzelm | added symbolfont syntax; | file | diff | annotate |
| Tue, 07 Nov 1995 12:58:17 +0100 | clasohm | removed quotes from types in consts section | file | diff | annotate |
| Thu, 05 Oct 1995 14:45:54 +0100 | clasohm | corrected title | file | diff | annotate |
| Tue, 07 Mar 1995 13:15:25 +0100 | lcp | Moved declaration of ~= to a syntax section | file | diff | annotate |
| Thu, 17 Mar 1994 11:24:31 +0100 | clasohm | adapted type definition to new syntax | file | diff | annotate |
| Mon, 25 Oct 1993 12:32:53 +0100 | wenzelm | added white-space; | file | diff | annotate |
| Thu, 07 Oct 1993 09:47:47 +0100 | lcp | ifol.thy: added ~= for "not equals" | file | diff | annotate |