| Mon, 27 Apr 1998 16:45:27 +0200 |
nipkow |
Renamed expand_const -> split_const.
|
file |
diff |
annotate
|
| Tue, 21 Apr 1998 17:23:24 +0200 |
oheimb |
split_all_tac is now added to claset() _before_ other safe tactics
|
file |
diff |
annotate
|
| Thu, 08 Jan 1998 11:21:45 +0100 |
paulson |
Tidied by adding more default simprules
|
file |
diff |
annotate
|
| Wed, 24 Dec 1997 10:02:30 +0100 |
paulson |
New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
|
file |
diff |
annotate
|
| Wed, 05 Nov 1997 13:45:01 +0100 |
paulson |
Adapted to removal of UN1_I, etc
|
file |
diff |
annotate
|
| Mon, 03 Nov 1997 12:13:18 +0100 |
wenzelm |
isatool fixclasimp;
|
file |
diff |
annotate
|
| Fri, 17 Oct 1997 15:25:12 +0200 |
nipkow |
setloop split_tac -> addsplits
|
file |
diff |
annotate
|
| Fri, 10 Oct 1997 19:02:28 +0200 |
wenzelm |
fixed dots;
|
file |
diff |
annotate
|
| Fri, 06 Jun 1997 13:28:40 +0200 |
paulson |
Removed a few redundant additions of simprules or classical rules
|
file |
diff |
annotate
|
| Wed, 07 May 1997 12:50:26 +0200 |
paulson |
New directory to contain examples of (co)inductive definitions
|
file |
diff |
annotate
|