Tue, 18 Jul 2006 20:01:44 +0200 | wenzelm | added declare_term_names; | changeset | files |
Tue, 18 Jul 2006 20:01:42 +0200 | wenzelm | fold_proof_terms: canonical arguments; | changeset | files |
Tue, 18 Jul 2006 20:01:41 +0200 | wenzelm | Term.declare_term_names; | changeset | files |