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 |
Mon, 02 Nov 2009 17:19:49 -0800 | huffman | add (LAM (x, y). t) syntax and lemma csplit_Pair | changeset | files |
Mon, 02 Nov 2009 23:06:06 +0100 | krauss | lexicographic order: run local descent proofs in parallel | changeset | files |
Mon, 02 Nov 2009 13:43:50 -0800 | huffman | merged | changeset | files |
Mon, 02 Nov 2009 12:26:23 -0800 | huffman | domain package no longer uses cfst/csnd/cpair | changeset | files |