Wed, 23 Jan 2002 11:43:53 +0100 |
paulson |
A few more standard simprules, TCs, etc.
|
file |
diff |
annotate
|
Thu, 07 Sep 2000 21:12:49 +0200 |
wenzelm |
tuned ML code (the_context, bind_thms(s));
|
file |
diff |
annotate
|
Fri, 30 Jun 2000 12:51:30 +0200 |
paulson |
removal of batch-style proofs
|
file |
diff |
annotate
|
Wed, 28 Jun 2000 12:34:08 +0200 |
paulson |
tidying and unbatchifying
|
file |
diff |
annotate
|
Wed, 22 Mar 2000 12:45:41 +0100 |
paulson |
tidied using new "inst" rule
|
file |
diff |
annotate
|
Wed, 13 Jan 1999 11:57:09 +0100 |
paulson |
datatype package improvements
|
file |
diff |
annotate
|
Fri, 18 Sep 1998 15:09:46 +0200 |
paulson |
tidied
|
file |
diff |
annotate
|
Thu, 06 Aug 1998 12:24:04 +0200 |
paulson |
even more tidying of Goal commands
|
file |
diff |
annotate
|
Wed, 15 Jul 1998 14:13:18 +0200 |
paulson |
More tidying and removal of "\!\!... from Goal commands
|
file |
diff |
annotate
|
Mon, 13 Jul 1998 16:43:57 +0200 |
paulson |
Huge tidy-up: removal of leading \!\!
|
file |
diff |
annotate
|
Mon, 22 Jun 1998 17:12:27 +0200 |
wenzelm |
isatool fixgoal;
|
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
|
Mon, 03 Nov 1997 12:24:13 +0100 |
wenzelm |
isatool fixclasimp;
|
file |
diff |
annotate
|
Fri, 10 Oct 1997 18:23:31 +0200 |
wenzelm |
fixed dots;
|
file |
diff |
annotate
|
Wed, 23 Apr 1997 10:54:22 +0200 |
paulson |
Conversion to use blast_tac
|
file |
diff |
annotate
|