| Wed, 30 Aug 2000 17:54:46 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 28 Aug 2000 13:52:38 +0200 |
wenzelm |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file |
diff |
annotate
|
| Thu, 17 Aug 2000 21:06:04 +0200 |
wenzelm |
fixed indexing;
|
file |
diff |
annotate
|
| Thu, 17 Aug 2000 10:32:20 +0200 |
wenzelm |
cases/induct method: 'opaque' by default; added 'open' option;
|
file |
diff |
annotate
|
| Mon, 14 Aug 2000 18:45:16 +0200 |
wenzelm |
renamed 'intrs' to 'intros';
|
file |
diff |
annotate
|
| Thu, 13 Jul 2000 23:07:56 +0200 |
wenzelm |
method cases/induct: (opaque) option;
|
file |
diff |
annotate
|
| Fri, 26 May 2000 17:29:07 +0200 |
wenzelm |
tuned case_tac;
|
file |
diff |
annotate
|
| Wed, 24 May 2000 13:16:01 +0200 |
wenzelm |
fixed index;
|
file |
diff |
annotate
|
| Fri, 05 May 2000 22:24:47 +0200 |
wenzelm |
improved syntax of method options (no_asm) etc;
|
file |
diff |
annotate
|
| Thu, 13 Apr 2000 17:49:08 +0200 |
wenzelm |
recdef: no simps;
|
file |
diff |
annotate
|
| Wed, 12 Apr 2000 23:46:06 +0200 |
wenzelm |
improved 'induct(_tac)' syntax;
|
file |
diff |
annotate
|
| Tue, 04 Apr 2000 18:08:08 +0200 |
wenzelm |
case_tac / induct_tac: optional rule;
|
file |
diff |
annotate
|
| Tue, 04 Apr 2000 12:32:02 +0200 |
wenzelm |
case_tac, induct_tac;
|
file |
diff |
annotate
|
| Sat, 01 Apr 2000 20:21:39 +0200 |
wenzelm |
recdef: admit names/atts;
|
file |
diff |
annotate
|
| Tue, 21 Mar 2000 17:32:43 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 20 Mar 2000 18:43:05 +0100 |
wenzelm |
case_tac, induct_tac;
|
file |
diff |
annotate
|
| Fri, 17 Mar 2000 22:50:04 +0100 |
wenzelm |
arith: "!" arg;
|
file |
diff |
annotate
|
| Thu, 16 Mar 2000 00:27:02 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2000 11:32:38 +0100 |
wenzelm |
'cases' and 'induct' methods;
|
file |
diff |
annotate
|
| Sun, 31 Oct 1999 20:11:23 +0100 |
wenzelm |
updated;
Isabelle99
|
file |
diff |
annotate
|
| Sun, 31 Oct 1999 15:20:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 07 Sep 1999 18:08:51 +0200 |
wenzelm |
induct method: rule option;
|
file |
diff |
annotate
|
| Sat, 04 Sep 1999 20:57:32 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| Mon, 30 Aug 1999 14:08:37 +0200 |
wenzelm |
'arith' method;
|
file |
diff |
annotate
|
| Tue, 24 Aug 1999 15:38:18 +0200 |
wenzelm |
draft release;
|
file |
diff |
annotate
|
| Mon, 23 Aug 1999 11:43:21 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 04 Aug 1999 18:20:24 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 03 Aug 1999 18:56:51 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 30 Jul 1999 18:27:25 +0200 |
wenzelm |
even more stuff;
|
file |
diff |
annotate
|
| Fri, 30 Jul 1999 15:40:54 +0200 |
wenzelm |
more;
|
file |
diff |
annotate
|