Fri, 17 Oct 1997 15:25:12 +0200 |
nipkow |
setloop split_tac -> addsplits
|
file |
diff |
annotate
|
Mon, 29 Sep 1997 11:37:02 +0200 |
paulson |
Step_tac -> Safe_tac
|
file |
diff |
annotate
|
Wed, 23 Apr 1997 11:02:19 +0200 |
paulson |
Ran expandshort
|
file |
diff |
annotate
|
Tue, 22 Apr 1997 11:45:22 +0200 |
paulson |
Ran expandshort
|
file |
diff |
annotate
|
Fri, 17 Jan 1997 18:50:04 +0100 |
nipkow |
The new version of MiniML including "let".
|
file |
diff |
annotate
|
Thu, 26 Sep 1996 12:47:47 +0200 |
paulson |
Ran expandshort
|
file |
diff |
annotate
|
Fri, 10 May 1996 17:03:17 +0200 |
paulson |
Updated for new form of induction rules
|
file |
diff |
annotate
|
Wed, 28 Feb 1996 16:57:14 +0100 |
nipkow |
modified priorities in syntax
|
file |
diff |
annotate
|
Tue, 27 Feb 1996 18:22:47 +0100 |
nipkow |
used qed_spec_mp.
|
file |
diff |
annotate
|
Wed, 25 Oct 1995 09:46:46 +0100 |
nipkow |
New theory: type inference for let-free MiniML
|
file |
diff |
annotate
|