Wed, 23 Apr 2014 10:23:26 +0200 generate 'rec_o_map' and 'size_o_map' in size extension
blanchet [Wed, 23 Apr 2014 10:23:26 +0200] rev 56640
generate 'rec_o_map' and 'size_o_map' in size extension
Wed, 23 Apr 2014 10:23:26 +0200 made old-style 'size' interpretation hook more robust in case 'size' is already specified (either by the user or by the new datatype package)
blanchet [Wed, 23 Apr 2014 10:23:26 +0200] rev 56639
made old-style 'size' interpretation hook more robust in case 'size' is already specified (either by the user or by the new datatype package)
Wed, 23 Apr 2014 10:23:26 +0200 generate size instances for new-style datatypes
blanchet [Wed, 23 Apr 2014 10:23:26 +0200] rev 56638
generate size instances for new-style datatypes
Wed, 23 Apr 2014 10:23:26 +0200 invoke 'fp_sugar' interpretation hook on mutually recursive clique
blanchet [Wed, 23 Apr 2014 10:23:26 +0200] rev 56637
invoke 'fp_sugar' interpretation hook on mutually recursive clique
Wed, 23 Apr 2014 10:23:26 +0200 declare 'bool' and its proxies as a datatype for SPASS-Pirate
blanchet [Wed, 23 Apr 2014 10:23:26 +0200] rev 56636
declare 'bool' and its proxies as a datatype for SPASS-Pirate
Wed, 23 Apr 2014 10:23:26 +0200 added 'inj_map' as auxiliary BNF theorem
blanchet [Wed, 23 Apr 2014 10:23:26 +0200] rev 56635
added 'inj_map' as auxiliary BNF theorem
Wed, 23 Apr 2014 10:23:26 +0200 tuned whitespace
blanchet [Wed, 23 Apr 2014 10:23:26 +0200] rev 56634
tuned whitespace
Wed, 23 Apr 2014 09:32:00 +0200 remove add_eq_zero_iff, it is replaced by add_nonneg_eq_0_iff; also removes it from the simpset
hoelzl [Wed, 23 Apr 2014 09:32:00 +0200] rev 56633
remove add_eq_zero_iff, it is replaced by add_nonneg_eq_0_iff; also removes it from the simpset
Tue, 22 Apr 2014 12:41:34 +0200 favorites for jEdit file browser, although an expanded directory path is expected here, not environment variables;
wenzelm [Tue, 22 Apr 2014 12:41:34 +0200] rev 56632
favorites for jEdit file browser, although an expanded directory path is expected here, not environment variables;
Tue, 22 Apr 2014 12:30:54 +0200 tuned;
wenzelm [Tue, 22 Apr 2014 12:30:54 +0200] rev 56631
tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip