| Tue, 02 Jul 2002 15:45:55 +0200 | wenzelm | removed thms_containing (see pure_thy.ML and proof_context.ML); | changeset | files |
| Tue, 02 Jul 2002 15:44:04 +0200 | wenzelm | print_thms_containing: index variables, refer to local facts as well; | changeset | files |
| Tue, 02 Jul 2002 15:41:02 +0200 | wenzelm | these_facts: refrain from put_thmss (2nd time!); | changeset | files |
| Tue, 02 Jul 2002 15:40:27 +0200 | wenzelm | ProofContext.pretty_fact; | changeset | files |
| Tue, 02 Jul 2002 15:39:49 +0200 | wenzelm | tuned msg; | changeset | files |
| Tue, 02 Jul 2002 15:38:48 +0200 | wenzelm | improved thms_containing (use FactIndex.T etc.); | changeset | files |
| Tue, 02 Jul 2002 15:38:13 +0200 | wenzelm | ProofContext.print_thms_containing; | changeset | files |