Tue, 15 Apr 2008 18:49:25 +0200 | wenzelm | Facts.dest_table, PureThy.facts_of; | changeset | files |
Tue, 15 Apr 2008 18:49:24 +0200 | wenzelm | simplified hide_XXX interfaces; | changeset | files |
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 |
Tue, 15 Apr 2008 18:49:19 +0200 | wenzelm | Theory.eq_thy; | changeset | files |