src/HOL/Library/BNF_Axiomatization.thy
6 months ago wenzelm 2019-01-06 isabelle update -u path_cartouches;
2016-03-22 blanchet 2016-03-22 put all 'bnf_*.ML' files together, irrespective of bootstrapping/dependency constraints
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-03-24 blanchet 2015-03-24 tuning
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-05-13 traytel 2014-05-13 bnf_decl -> bnf_axiomatization