| 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 |