2009-11-19 | wenzelm | unused_thms: show only results from 'theorem(s)' package (via old-style kinds); | changeset | files |
2009-11-19 | wenzelm | future_result: purge flexflex pairs, which should normally be trivial anyway -- prevent Thm.future_result from complaining about tpairs; | changeset | files |
2009-11-19 | wenzelm | toplevel pretty printer for Synchronized.var; | changeset | files |
2009-11-19 | wenzelm | adapted Local_Theory.define -- eliminated odd thm kind; | changeset | files |
Loading... |