| Thu, 19 Nov 2009 19:42:54 +0100 | wenzelm | unused_thms: show only results from 'theorem(s)' package (via old-style kinds); | changeset | files |
| Thu, 19 Nov 2009 17:29:39 +0100 | wenzelm | future_result: purge flexflex pairs, which should normally be trivial anyway -- prevent Thm.future_result from complaining about tpairs; | changeset | files |
| Thu, 19 Nov 2009 17:26:28 +0100 | wenzelm | toplevel pretty printer for Synchronized.var; | changeset | files |