Wed, 14 May 2014 12:24:38 +0200updated to polyml-5.5.2;
wenzelm [Wed, 14 May 2014 12:24:38 +0200] rev 58302
updated to polyml-5.5.2;

Wed, 14 May 2014 12:15:07 +0200practically obsolete: plain "poly" should work, except for Linux without libgmp installed;
wenzelm [Wed, 14 May 2014 12:15:07 +0200] rev 58301
practically obsolete: plain "poly" should work, except for Linux without libgmp installed;

Wed, 14 May 2014 12:00:18 +0200updated to polyml-5.5.2;
wenzelm [Wed, 14 May 2014 12:00:18 +0200] rev 58300
updated to polyml-5.5.2;

Wed, 14 May 2014 11:37:48 +0200document 'set_empty'
desharna [Wed, 14 May 2014 11:37:48 +0200] rev 58299
document 'set_empty'

Mon, 12 May 2014 17:42:54 +0200generate 'set_empty' theorem for BNFs
desharna [Mon, 12 May 2014 17:42:54 +0200] rev 58298
generate 'set_empty' theorem for BNFs

Thu, 08 May 2014 12:54:33 +0200document 'map_id0'
desharna [Thu, 08 May 2014 12:54:33 +0200] rev 58297
document 'map_id0'

Thu, 08 May 2014 12:54:02 +0200note map_id0 more often
desharna [Thu, 08 May 2014 12:54:02 +0200] rev 58296
note map_id0 more often

Wed, 14 May 2014 11:33:38 +0200added lemma
nipkow [Wed, 14 May 2014 11:33:38 +0200] rev 58295
added lemma

Tue, 13 May 2014 22:14:12 +0200added lemmas
nipkow [Tue, 13 May 2014 22:14:12 +0200] rev 58294
added lemmas

Tue, 13 May 2014 16:18:16 +0200transfer theorems since 'silence_methods' may change the theory
blanchet [Tue, 13 May 2014 16:18:16 +0200] rev 58293
transfer theorems since 'silence_methods' may change the theory