| Tue, 29 Aug 2000 00:54:22 +0200 |
wenzelm |
updated cong stuff;
|
file |
diff |
annotate
|
| Mon, 28 Aug 2000 13:52:38 +0200 |
wenzelm |
proper setup of iman.sty/extra.sty/ttbox.sty;
|
file |
diff |
annotate
|
| Tue, 25 Jul 2000 18:43:52 +0200 |
berghofe |
Corrected example which still used old primrec syntax.
|
file |
diff |
annotate
|
| Fri, 21 Jul 2000 17:41:59 +0200 |
oheimb |
removed safe_asm_full_simp_tac, added generic_simp_tac
|
file |
diff |
annotate
|
| Tue, 18 Jan 2000 11:33:31 +0100 |
paulson |
fixed many bad line & page breaks
|
file |
diff |
annotate
|
| Sun, 31 Oct 1999 20:11:23 +0100 |
wenzelm |
updated;
Isabelle99
|
file |
diff |
annotate
|
| Fri, 22 Oct 1999 20:24:13 +0200 |
wenzelm |
new flag debug_simp
|
file |
diff |
annotate
|
| Tue, 28 Sep 1999 14:15:57 +0200 |
nipkow |
documented type solver
|
file |
diff |
annotate
|
| Mon, 03 May 1999 19:03:35 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 29 Oct 1998 15:05:42 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 25 Sep 1998 15:54:29 +0200 |
oheimb |
improved indentation
|
file |
diff |
annotate
|
| Fri, 25 Sep 1998 15:21:07 +0200 |
wenzelm |
rearranged SIMPSET(');
|
file |
diff |
annotate
|
| Thu, 24 Sep 1998 16:53:00 +0200 |
oheimb |
improved description of looper and splitter
|
file |
diff |
annotate
|
| Mon, 24 Aug 1998 19:11:13 +0200 |
wenzelm |
emacs local vars;
|
file |
diff |
annotate
|
| Tue, 28 Jul 1998 16:33:43 +0200 |
paulson |
Changed "goal" to "Goal"
|
file |
diff |
annotate
|