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 |