| 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 |
| Fri, 04 Apr 1997 11:18:19 +0200 | paulson | Adds image_eqI instead of imageI, as the former is more general | changeset | files |