Thu, 09 Jun 2005 12:06:38 +0200 | wenzelm | updated; | changeset | files |
Thu, 09 Jun 2005 12:04:53 +0200 | wenzelm | axioms: NameSpace.table; | changeset | files |
Thu, 09 Jun 2005 12:03:38 +0200 | wenzelm | PureThy.all_thms_of; | changeset | files |
Thu, 09 Jun 2005 12:03:37 +0200 | wenzelm | Theory.all_axioms_of, PureThy.all_thms_of; | changeset | files |