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 |