blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55408
use names like 'rec_mytype' and 'case_mytype' in old datatype package as well, to avoid a mixture
blanchet [Wed, 12 Feb 2014 08:35:56 +0100] rev 55407
use right local theory -- shows up when 'no_discs_sels' is set
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