isabelle: Changelog

paulson <lp15@cam.ac.uk> [Fri, 24 Jan 2014 15:21:00 +0000] rev 55130

Restored Suc rather than +1, and using Library/Binimial

blanchet [Fri, 24 Jan 2014 11:51:45 +0100] rev 55129

killed 'More_BNFs' by moving its various bits where they (now) belong

blanchet [Thu, 23 Jan 2014 19:02:22 +0100] rev 55128

hide 'csum' etc.

nipkow [Thu, 23 Jan 2014 16:09:28 +0100] rev 55127

installed by Johannes in Extended now

nipkow [Thu, 23 Jan 2014 16:02:02 +0100] rev 55126

merged

nipkow [Thu, 23 Jan 2014 16:01:53 +0100] rev 55125

hide Fin in output of value via postprocessor; no hinding needed elsewhere

hoelzl [Thu, 23 Jan 2014 14:33:54 +0100] rev 55124

hide extended.Fin in code generator output

wenzelm [Thu, 23 Jan 2014 14:26:16 +0100] rev 55123

no document for Cartouche_Examples: avoid problems typesetting "\001";

wenzelm [Wed, 22 Jan 2014 23:51:26 +0100] rev 55122

NEWS;

wenzelm [Wed, 22 Jan 2014 23:19:40 +0100] rev 55121

merged

isabelle