Wed, 18 Dec 2013 14:06:34 +0100 pass auto-proved exhaustiveness properties to tactic;
panny [Wed, 18 Dec 2013 14:06:34 +0100] rev 54806
pass auto-proved exhaustiveness properties to tactic; rightly use "%_. False" instead of undefined for unspecified conditions; get rid of ugly "if True then ... else Code.abort" in auto-generated code equations;
Wed, 18 Dec 2013 17:27:17 +0100 merge
blanchet [Wed, 18 Dec 2013 17:27:17 +0100] rev 54805
merge
Wed, 18 Dec 2013 17:26:31 +0100 changed pirate port
blanchet [Wed, 18 Dec 2013 17:26:31 +0100] rev 54804
changed pirate port
Wed, 18 Dec 2013 17:00:14 +0100 fixed variable confusion introduced by 'tuning' change 565f9af86d67
blanchet [Wed, 18 Dec 2013 17:00:14 +0100] rev 54803
fixed variable confusion introduced by 'tuning' change 565f9af86d67
Wed, 18 Dec 2013 16:50:14 +0100 made SML/NJ happier
blanchet [Wed, 18 Dec 2013 16:50:14 +0100] rev 54802
made SML/NJ happier
Wed, 18 Dec 2013 16:50:14 +0100 try 'auto' first -- more likely to succeed
blanchet [Wed, 18 Dec 2013 16:50:14 +0100] rev 54801
try 'auto' first -- more likely to succeed
Wed, 18 Dec 2013 16:50:14 +0100 new port
blanchet [Wed, 18 Dec 2013 16:50:14 +0100] rev 54800
new port
Wed, 18 Dec 2013 16:50:14 +0100 tuning
blanchet [Wed, 18 Dec 2013 16:50:14 +0100] rev 54799
tuning
Wed, 18 Dec 2013 16:50:14 +0100 generate type classes for tfrees
blanchet [Wed, 18 Dec 2013 16:50:14 +0100] rev 54798
generate type classes for tfrees
Wed, 18 Dec 2013 11:53:40 +0100 modernized ContNotDenum: use Set_Interval, and finite intersection property to show the nested interval property
hoelzl [Wed, 18 Dec 2013 11:53:40 +0100] rev 54797
modernized ContNotDenum: use Set_Interval, and finite intersection property to show the nested interval property
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip