| Tue, 03 Nov 2009 10:36:20 +0100 | bulwahn | adding testcases for code inlining, sets and numerals to the example files of the predicate compiler and its quickcheck prototype; disabling length example | changeset | files |
| Tue, 03 Nov 2009 10:24:06 +0100 | bulwahn | adapted the inlining in the predicate compiler | changeset | files |
| Tue, 03 Nov 2009 10:24:05 +0100 | bulwahn | recursively replacing abstractions by new definitions in the predicate compiler | changeset | files |
| Mon, 02 Nov 2009 18:49:53 -0800 | huffman | merge | changeset | files |
| Mon, 02 Nov 2009 18:39:41 -0800 | huffman | add fixrec support for HOL pair constructor patterns | changeset | files |
| Mon, 02 Nov 2009 17:29:34 -0800 | huffman | define cprod_fun using Pair instead of cpair | changeset | files |