| Tue, 02 Jul 2002 22:46:23 +0200 | paulson | conversion of QPair to Isar | changeset | files |
| Tue, 02 Jul 2002 17:44:13 +0200 | wenzelm | thms_containing: optional limit argument; | changeset | files |
| Tue, 02 Jul 2002 17:00:05 +0200 | wenzelm | proper treatment of border cases; | changeset | files |
| Tue, 02 Jul 2002 16:59:52 +0200 | wenzelm | tuned print_thms_containing; | changeset | files |