Tue, 09 Oct 2007 18:14:00 +0200 | paulson | context-based treatment of generalization; also handling TFrees in axiom clauses | changeset | files |
Tue, 09 Oct 2007 17:11:20 +0200 | wenzelm | TheoryTarget.init_cmd; | changeset | files |
Tue, 09 Oct 2007 17:10:49 +0200 | wenzelm | removed LocalTheory.defs/target_morphism operations; | changeset | files |