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
Thu, 18 Nov 2010 17:01:16 +0100 mapper for sum type
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40610
mapper for sum type
Thu, 18 Nov 2010 17:01:16 +0100 mapper for option type
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40609
mapper for option type
Thu, 18 Nov 2010 17:01:16 +0100 mapper for list type; map_pair replaces prod_fun
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40608
mapper for list type; map_pair replaces prod_fun
Thu, 18 Nov 2010 17:01:16 +0100 map_pair replaces prod_fun
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40607
map_pair replaces prod_fun
Thu, 18 Nov 2010 17:01:16 +0100 mapper for mulitset type
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40606
mapper for mulitset type
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip