Wed, 17 Nov 2010 11:39:44 -0800 section -> subsection
huffman [Wed, 17 Nov 2010 11:39:44 -0800] rev 40620
section -> subsection
Wed, 17 Nov 2010 11:07:02 -0800 add lemma adm_prod_case
huffman [Wed, 17 Nov 2010 11:07:02 -0800] rev 40619
add lemma adm_prod_case
Fri, 19 Nov 2010 14:59:11 +0000 merged
paulson [Fri, 19 Nov 2010 14:59:11 +0000] rev 40618
merged
Fri, 19 Nov 2010 14:58:49 +0000 First-order pattern matching: catch a rogue exception (differing numbers of arguments)
paulson [Fri, 19 Nov 2010 14:58:49 +0000] rev 40617
First-order pattern matching: catch a rogue exception (differing numbers of arguments)
Fri, 19 Nov 2010 14:35:58 +0100 eval simp rules for predicate type, simplify primitive proofs
haftmann [Fri, 19 Nov 2010 14:35:58 +0100] rev 40616
eval simp rules for predicate type, simplify primitive proofs
Fri, 19 Nov 2010 11:44:46 +0100 generalized type
haftmann [Fri, 19 Nov 2010 11:44:46 +0100] rev 40615
generalized type
Fri, 19 Nov 2010 10:37:06 +0100 made smlnj happy
haftmann [Fri, 19 Nov 2010 10:37:06 +0100] rev 40614
made smlnj happy
Fri, 19 Nov 2010 10:04:08 +0100 merged
haftmann [Fri, 19 Nov 2010 10:04:08 +0100] rev 40613
merged
Thu, 18 Nov 2010 18:53:36 +0100 proper qualification needed due to shadowing on theory merge
haftmann [Thu, 18 Nov 2010 18:53:36 +0100] rev 40612
proper qualification needed due to shadowing on theory merge
Thu, 18 Nov 2010 17:06:02 +0100 more appropriate name for property
haftmann [Thu, 18 Nov 2010 17:06:02 +0100] rev 40611
more appropriate name for property
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip