huffman [Wed, 17 Nov 2010 11:07:02 -0800] rev 40867
add lemma adm_prod_case
paulson [Fri, 19 Nov 2010 14:59:11 +0000] rev 40866
merged
paulson [Fri, 19 Nov 2010 14:58:49 +0000] rev 40865
First-order pattern matching: catch a rogue exception (differing numbers of arguments)
haftmann [Fri, 19 Nov 2010 14:35:58 +0100] rev 40864
eval simp rules for predicate type, simplify primitive proofs
haftmann [Fri, 19 Nov 2010 11:44:46 +0100] rev 40863
generalized type
haftmann [Fri, 19 Nov 2010 10:37:06 +0100] rev 40862
made smlnj happy
haftmann [Fri, 19 Nov 2010 10:04:08 +0100] rev 40861
merged
haftmann [Thu, 18 Nov 2010 18:53:36 +0100] rev 40860
proper qualification needed due to shadowing on theory merge
haftmann [Thu, 18 Nov 2010 17:06:02 +0100] rev 40859
more appropriate name for property
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40858
mapper for sum type