| Wed, 18 Nov 2009 15:01:00 -0800 | huffman | cleaned up; factored out fixed-point definition code | changeset | files |
| Wed, 18 Nov 2009 12:41:43 -0800 | huffman | automate solution of domain equations | changeset | files |
| Fri, 20 Nov 2009 00:54:20 +0100 | Christian Urban | removed fixme - quick-and-dirty flag is appropriate | changeset | files |
| Fri, 20 Nov 2009 00:20:32 +0100 | Christian Urban | use of thm-antiquotation | changeset | files |
| Thu, 19 Nov 2009 16:07:53 +0100 | berghofe | Added new counterexample generator SML_inductive for goals involving | changeset | files |
| 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 |