Tue, 15 Apr 2008 18:49:23 +0200 | wenzelm | removed obsolete SIGN_THEORY -- no name aliases in structure Theory; | changeset | files |
Tue, 15 Apr 2008 18:49:22 +0200 | wenzelm | removed obsolete SIGN_THEORY -- no name aliases in structure Theory; | changeset | files |
Tue, 15 Apr 2008 18:49:21 +0200 | wenzelm | added intern_fact, check_fact, hide_fact; | changeset | files |