| Thu, 09 Jun 2005 12:03:22 +0200 | wenzelm | NameSpace.extern_table; | changeset | files |
| Thu, 09 Jun 2005 12:03:21 +0200 | wenzelm | print_theory: omit name spaces; NameSpace.extern_table; | changeset | files |
| Thu, 09 Jun 2005 12:03:20 +0200 | wenzelm | got rid of bclass, xclass; | changeset | files |
| 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 |
| Thu, 09 Jun 2005 11:07:37 +0200 | haftmann | added chmod for packages | changeset | files |