| Fri, 04 Apr 1997 16:01:14 +0200 | slotosch | (partial) equivalecne relations. classes er<per | changeset | files |
| Fri, 04 Apr 1997 14:48:40 +0200 | nipkow | Inv -> inv | changeset | files |
| Fri, 04 Apr 1997 14:47:26 +0200 | wenzelm | added -b option (batch mode); | changeset | files |
| Fri, 04 Apr 1997 14:05:12 +0200 | nipkow | renamed variable 'inv' | changeset | files |
| Fri, 04 Apr 1997 14:01:18 +0200 | wenzelm | added Quot examples; | changeset | files |
| Fri, 04 Apr 1997 13:57:40 +0200 | wenzelm | *** empty log message *** | changeset | files |
| 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 |
| Fri, 04 Apr 1997 11:18:52 +0200 | paulson | Calls Blast_tac | changeset | files |