Thu, 11 Oct 2007 21:10:41 +0200 | wenzelm | added export_cterm; | changeset | files |
Thu, 11 Oct 2007 21:10:40 +0200 | wenzelm | local_theory: incorporated consts into axioms; | changeset | files |
Thu, 11 Oct 2007 19:10:25 +0200 | wenzelm | replaced Term.equiv_types by Type.similar_types; | changeset | files |