| 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 |
| Tue, 15 Apr 2008 18:49:18 +0200 | wenzelm | renamed dest to dest_table, and extern to extern table; | changeset | files |
| Tue, 15 Apr 2008 18:49:16 +0200 | wenzelm | PureThy.hide_fact; | changeset | files |