| Thu, 09 Jun 2005 12:03:19 +0200 | wenzelm | add_axioms_infer -- avoids use of stale theory; | changeset | files |
| Thu, 09 Jun 2005 12:03:18 +0200 | wenzelm | Theory.all_axioms_of; | changeset | files |
| Thu, 09 Jun 2005 12:03:17 +0200 | wenzelm | Sign.read_typ_abbrev; | changeset | files |