blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55406
compatibility names
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55405
use new selector support to define 'the', 'hd', 'tl'
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55404
transformed 'option' and 'list' into new-style datatypes (but register them as old-style as well)
* * *
compile
* * *
tuned imports to prevent merge issues in 'Main'
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55403
avoid duplicate 'case' definitions by first looking up 'Ctr_Sugar'
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55402
tuned code
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55401
more 'ctr_sugar' modernization
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55400
tuning
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55399
ported predicate compiler to 'ctr_sugar'
* * *
ported predicate compiler to 'ctr_sugar', part 2
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55398
updated docs
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55397
generate 'fundec_cong' attribute for new-style (co)datatypes
* * *
compile