| Sun, 22 Jul 2007 22:01:30 +0200 | wenzelm | turned ex/prop.ML, ex/quant.ML into proper theories; | changeset | files |
| Sun, 22 Jul 2007 21:20:58 +0200 | wenzelm | inform_file_processed: tuned msg, no state; | changeset | files |
| Sun, 22 Jul 2007 21:20:56 +0200 | wenzelm | simultaneous use_thys; | changeset | files |
| Sun, 22 Jul 2007 21:20:56 +0200 | wenzelm | init_empty: invoke operation *after* safe_exit; | changeset | files |
| Sun, 22 Jul 2007 21:20:55 +0200 | wenzelm | added simultaneous use_thys; | changeset | files |
| Sun, 22 Jul 2007 21:20:54 +0200 | wenzelm | avoid polymorphic equality; | changeset | files |
| Sun, 22 Jul 2007 21:20:53 +0200 | wenzelm | blast_hyp_subst_tac: plain bool argument; | changeset | files |