Wed, 14 May 2014 12:00:18 +0200 updated to polyml-5.5.2;
wenzelm [Wed, 14 May 2014 12:00:18 +0200] rev 56958
updated to polyml-5.5.2;
Wed, 14 May 2014 11:37:48 +0200 document 'set_empty'
desharna [Wed, 14 May 2014 11:37:48 +0200] rev 56957
document 'set_empty'
Mon, 12 May 2014 17:42:54 +0200 generate 'set_empty' theorem for BNFs
desharna [Mon, 12 May 2014 17:42:54 +0200] rev 56956
generate 'set_empty' theorem for BNFs
Thu, 08 May 2014 12:54:33 +0200 document 'map_id0'
desharna [Thu, 08 May 2014 12:54:33 +0200] rev 56955
document 'map_id0'
Thu, 08 May 2014 12:54:02 +0200 note map_id0 more often
desharna [Thu, 08 May 2014 12:54:02 +0200] rev 56954
note map_id0 more often
Wed, 14 May 2014 11:33:38 +0200 added lemma
nipkow [Wed, 14 May 2014 11:33:38 +0200] rev 56953
added lemma
Tue, 13 May 2014 22:14:12 +0200 added lemmas
nipkow [Tue, 13 May 2014 22:14:12 +0200] rev 56952
added lemmas
Tue, 13 May 2014 16:18:16 +0200 transfer theorems since 'silence_methods' may change the theory
blanchet [Tue, 13 May 2014 16:18:16 +0200] rev 56951
transfer theorems since 'silence_methods' may change the theory
Tue, 13 May 2014 11:35:51 +0200 add mono rules for diff
hoelzl [Tue, 13 May 2014 11:35:51 +0200] rev 56950
add mono rules for diff
Tue, 13 May 2014 11:35:47 +0200 clean up Lebesgue integration
hoelzl [Tue, 13 May 2014 11:35:47 +0200] rev 56949
clean up Lebesgue integration
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip