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
|