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
|
Thu, 16 Sep 1993 12:20:38 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|