src/HOL/BNF_Composition.thy
5 weeks ago wenzelm 2019-03-14 more specific keyword kinds;
2 months ago nipkow 2019-01-28 more canonical and less specialized syntax
3 months ago wenzelm 2019-01-06 isabelle update -u path_cartouches;
14 months ago wenzelm 2018-02-15 more symbols;
15 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
16 months ago wenzelm 2017-11-26 more symbols;
2016-03-31 traytel 2016-03-31 tuned interface
2016-02-16 traytel 2016-02-16 make predicator a first-class bnf citizen
2015-08-27 haftmann 2015-08-27 standardized some occurences of ancient "split" alias
2015-08-12 traytel 2015-08-12 new command for lifting BNF structure over typedefs
2015-07-18 wenzelm 2015-07-18 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-09-16 blanchet 2014-09-16 tuned fact visibility
2014-09-09 blanchet 2014-09-09 hide DEADID/ID theorems
2014-09-04 blanchet 2014-09-04 renamed internal constant
2014-09-01 blanchet 2014-09-01 renamed BNF theories