| Fri, 04 Apr 1997 11:20:31 +0200 | paulson | Calls Blast_tac. Tidied some proofs | changeset | files |
| Fri, 04 Apr 1997 11:18:52 +0200 | paulson | Calls Blast_tac | changeset | files |
| Fri, 04 Apr 1997 11:18:19 +0200 | paulson | Adds image_eqI instead of imageI, as the former is more general | changeset | files |
| 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 |