Fri, 01 Feb 2008 08:32:10 +0100 | haftmann | fixed record problem | changeset | files |
Fri, 01 Feb 2008 02:38:41 +0100 | huffman | add lemmas prod_lessI and Pair_less_iff [simp] | changeset | files |
Thu, 31 Jan 2008 22:00:31 +0100 | huffman | add lemma is_lub_lambda | changeset | files |