| Fri, 04 Apr 1997 11:17:05 +0200 | paulson | Added blast.ML as a dependency | changeset | files |
| Fri, 04 Apr 1997 11:16:44 +0200 | paulson | Now calls Blast_tac and has some hard examples (Halting Problem | changeset | files |
| Thu, 03 Apr 1997 19:32:03 +0200 | nipkow | Only layout mods. | changeset | files |
| Thu, 03 Apr 1997 19:29:53 +0200 | nipkow | Now: unit = {True} | changeset | files |
| Thu, 03 Apr 1997 10:36:54 +0200 | paulson | Two extra commands shorten the proof time by 800 seconds... | changeset | files |
| Thu, 03 Apr 1997 10:33:33 +0200 | paulson | More List and ListPair utilities | changeset | files |
| Thu, 03 Apr 1997 10:32:34 +0200 | paulson | Now exports declConsts! | changeset | files |
| Thu, 03 Apr 1997 10:30:23 +0200 | paulson | Declares overloading for if-and-only-if | changeset | files |