Thu, 19 Nov 2009 16:04:31 +0100 | berghofe | Added infrastructure for embedding random data generators into code generated | changeset | files |
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 |