src/HOL/BNF_Examples/Stream_Processor.thy
2014-07-24 wenzelm 2014-07-24 more robust notation BNF_Def.convol, which is private to main HOL, but may cause syntax ambiguities nonetheless (e.g. List.thy);
2014-07-24 blanchet 2014-07-24 tuning
2014-06-27 blanchet 2014-06-27 merged two small theory files
2014-06-10 blanchet 2014-06-10 changed syntax of map: and rel: arguments to BNF-based datatypes
2014-05-13 traytel 2014-05-13 bnf_decl -> bnf_axiomatization
2014-03-06 blanchet 2014-03-06 renamed 'map_pair' to 'map_prod'
2014-02-27 traytel 2014-02-27 adapt examples to new intermediate typedef
2014-02-17 blanchet 2014-02-17 renamed 'primrec_new' to 'primrec', overriding the old command (which it still uses as a fallback for old-style datatypes)
2014-01-21 blanchet 2014-01-21 compile
2014-01-20 blanchet 2014-01-20 compile
2014-01-20 blanchet 2014-01-20 dissolved BNF session
2014-01-20 blanchet 2014-01-20 moved BNF examples