| Thu, 12 Jun 2008 22:12:27 +0200 | huffman | imports Ffun | changeset | files |
| Thu, 12 Jun 2008 18:54:31 +0200 | wenzelm | ResAxioms.cnf_axiom/cnf_rules_pairs: pass explicit theory context; | changeset | files |
| Thu, 12 Jun 2008 18:54:29 +0200 | wenzelm | ResAxioms.cnf_axiom/cnf_rules_pairs: pass explicit theory context; | changeset | files |
| Thu, 12 Jun 2008 16:42:00 +0200 | wenzelm | sane versions of (qualified_)thms_of_thy; | changeset | files |
| Thu, 12 Jun 2008 16:41:58 +0200 | wenzelm | Facts.dest/export_static: content difference; | changeset | files |
| Thu, 12 Jun 2008 16:41:57 +0200 | wenzelm | dest/export_static: content difference; | changeset | files |