| Fri, 04 Apr 1997 13:56:11 +0200 | wenzelm | Higher-order quotients. | changeset | files |
| Fri, 04 Apr 1997 12:21:28 +0200 | paulson | Now calls blast_tac | changeset | files |
| 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 |