huffman [Wed, 17 Nov 2010 16:13:33 -0800] rev 40623
declare adm_chfin [simp]
huffman [Wed, 17 Nov 2010 16:05:18 -0800] rev 40622
add lemma cont_fun; remove unused lemma monofun_app
huffman [Wed, 17 Nov 2010 12:19:19 -0800] rev 40621
accumulated NEWS updates for HOLCF
huffman [Wed, 17 Nov 2010 11:39:44 -0800] rev 40620
section -> subsection
huffman [Wed, 17 Nov 2010 11:07:02 -0800] rev 40619
add lemma adm_prod_case
paulson [Fri, 19 Nov 2010 14:59:11 +0000] rev 40618
merged
paulson [Fri, 19 Nov 2010 14:58:49 +0000] rev 40617
First-order pattern matching: catch a rogue exception (differing numbers of arguments)
haftmann [Fri, 19 Nov 2010 14:35:58 +0100] rev 40616
eval simp rules for predicate type, simplify primitive proofs
haftmann [Fri, 19 Nov 2010 11:44:46 +0100] rev 40615
generalized type
haftmann [Fri, 19 Nov 2010 10:37:06 +0100] rev 40614
made smlnj happy
haftmann [Fri, 19 Nov 2010 10:04:08 +0100] rev 40613
merged
haftmann [Thu, 18 Nov 2010 18:53:36 +0100] rev 40612
proper qualification needed due to shadowing on theory merge
haftmann [Thu, 18 Nov 2010 17:06:02 +0100] rev 40611
more appropriate name for property
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40610
mapper for sum type
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40609
mapper for option type
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40608
mapper for list type; map_pair replaces prod_fun
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40607
map_pair replaces prod_fun
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40606
mapper for mulitset type
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40605
mapper for mapping type
haftmann [Thu, 18 Nov 2010 17:01:15 +0100] rev 40604
mapper for fset type
haftmann [Thu, 18 Nov 2010 17:01:15 +0100] rev 40603
mapper for dlist type
haftmann [Thu, 18 Nov 2010 17:01:15 +0100] rev 40602
map_fun combinator in theory Fun
wenzelm [Thu, 18 Nov 2010 22:34:32 +0100] rev 40601
some updates after 2 years of Mercurial usage;
blanchet [Thu, 18 Nov 2010 18:12:03 +0100] rev 40600
mention Sledgehammer with SMT