Fri, 17 Nov 1995 12:19:21 +0100 |
clasohm |
changed simpset of "HOL"
|
changeset |
files
|
Fri, 17 Nov 1995 12:08:04 +0100 |
nipkow |
README -> README.html
|
changeset |
files
|
Fri, 17 Nov 1995 09:05:21 +0100 |
nipkow |
Added Hoare.
|
changeset |
files
|
Fri, 17 Nov 1995 09:04:10 +0100 |
nipkow |
New directory.
|
changeset |
files
|
Thu, 16 Nov 1995 19:50:40 +0100 |
nipkow |
added rev_contrapos
|
changeset |
files
|
Thu, 16 Nov 1995 12:18:38 +0100 |
clasohm |
added ../Provers/simplifier.ML
|
changeset |
files
|
Wed, 15 Nov 1995 13:28:21 +0100 |
clasohm |
added link to README.html or README
|
changeset |
files
|
Wed, 15 Nov 1995 13:27:57 +0100 |
clasohm |
HTML version of README
|
changeset |
files
|
Tue, 14 Nov 1995 12:13:02 +0100 |
clasohm |
enlarged the images
|
changeset |
files
|
Mon, 13 Nov 1995 16:44:48 +0100 |
nipkow |
Put IOA back into test
|
changeset |
files
|
Mon, 13 Nov 1995 12:06:57 +0100 |
mueller |
*** empty log message ***
|
changeset |
files
|
Sun, 12 Nov 1995 16:29:12 +0100 |
nipkow |
added new arithmetic lemmas and the functions take and drop.
|
changeset |
files
|
Sun, 12 Nov 1995 13:14:13 +0100 |
nipkow |
Set eta_contract to true.
|
changeset |
files
|
Fri, 10 Nov 1995 16:19:45 +0100 |
nipkow |
Literature references for MiniML.
|
changeset |
files
|