isabelle: Changelog

wenzelm [Wed, 14 May 2014 12:15:07 +0200] rev 56959

practically obsolete: plain "poly" should work, except for Linux without libgmp installed;

wenzelm [Wed, 14 May 2014 12:00:18 +0200] rev 56958

updated to polyml-5.5.2;

desharna [Wed, 14 May 2014 11:37:48 +0200] rev 56957

document 'set_empty'

desharna [Mon, 12 May 2014 17:42:54 +0200] rev 56956

generate 'set_empty' theorem for BNFs

desharna [Thu, 08 May 2014 12:54:33 +0200] rev 56955

document 'map_id0'

desharna [Thu, 08 May 2014 12:54:02 +0200] rev 56954

note map_id0 more often

nipkow [Wed, 14 May 2014 11:33:38 +0200] rev 56953

added lemma

nipkow [Tue, 13 May 2014 22:14:12 +0200] rev 56952

added lemmas

blanchet [Tue, 13 May 2014 16:18:16 +0200] rev 56951

transfer theorems since 'silence_methods' may change the theory

hoelzl [Tue, 13 May 2014 11:35:51 +0200] rev 56950

add mono rules for diff

isabelle