Fri, 05 Jan 2001 18:48:18 +0100 |
nipkow |
^^ -> ```
|
file |
diff |
annotate
|
Tue, 02 Jan 2001 10:27:10 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 03 Mar 1999 11:12:29 +0100 |
paulson |
tidied
|
file |
diff |
annotate
|
Tue, 19 Jan 1999 11:18:11 +0100 |
paulson |
removal of the (thm list) argument of mk_cases
|
file |
diff |
annotate
|
Fri, 31 Jul 1998 10:48:42 +0200 |
paulson |
Removal of obsolete "open" commands from heads of .ML files
|
file |
diff |
annotate
|
Wed, 15 Jul 1998 10:15:13 +0200 |
paulson |
Removal of leading "\!\!..." from most Goal commands
|
file |
diff |
annotate
|
Mon, 22 Jun 1998 17:26:46 +0200 |
wenzelm |
isatool fixgoal;
|
file |
diff |
annotate
|
Sat, 07 Mar 1998 16:29:29 +0100 |
nipkow |
Removed `addsplits [expand_if]'
|
file |
diff |
annotate
|
Fri, 12 Dec 1997 10:32:45 +0100 |
paulson |
ugly patch for new Blast_tac
|
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
|
Mon, 23 Jun 1997 10:42:03 +0200 |
paulson |
Ran expandshort
|
file |
diff |
annotate
|
Fri, 09 May 1997 10:18:58 +0200 |
paulson |
New theorems about "assign"
|
file |
diff |
annotate
|
Thu, 08 May 1997 10:20:37 +0200 |
paulson |
Made a slow proof slightly faster
|
file |
diff |
annotate
|
Wed, 07 May 1997 12:50:26 +0200 |
paulson |
New directory to contain examples of (co)inductive definitions
|
file |
diff |
annotate
|