src/HOL/BNF/Tools/bnf_comp.ML
2012-10-04 traytel 2012-10-04 made SML/NJ happier
2012-10-04 traytel 2012-10-04 do not expose details of internal data structures for composition of BNFs
2012-09-30 blanchet 2012-09-30 fixed quick-and-dirty mode
2012-09-28 traytel 2012-09-28 tuned tactics
2012-09-26 blanchet 2012-09-26 parameterized "subst_tac"
2012-09-26 blanchet 2012-09-26 generate high-level "maps", "sets", and "rels" properties
2012-09-23 blanchet 2012-09-23 simplified fact policies
2012-09-21 blanchet 2012-09-21 clean up lemmas used for composition
2012-09-21 blanchet 2012-09-21 renamed "Codatatype" directory "BNF" (and corresponding session) -- this opens the door to no-nonsense session names like "HOL-BNF-LFP"