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 |
Tue, 02 Jul 2002 16:58:57 +0200 | wenzelm | update thms_containing; | changeset | files |
Tue, 02 Jul 2002 15:54:21 +0200 | wenzelm | * improved thms_containing: proper indexing of facts instead of raw | changeset | files |
Tue, 02 Jul 2002 15:45:55 +0200 | wenzelm | removed thms_containing (see pure_thy.ML and proof_context.ML); | changeset | files |