| Fri, 04 Apr 1997 11:33:51 +0200 | paulson | Another blast_tac call | changeset | files |
| Fri, 04 Apr 1997 11:32:44 +0200 | paulson | Simplified a proof | changeset | files |
| Fri, 04 Apr 1997 11:28:28 +0200 | paulson | Re-organization of the order of haz rules | changeset | files |
| Fri, 04 Apr 1997 11:27:02 +0200 | paulson | Calls Blast_tac. Tidied some proofs | changeset | files |
| 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 |