src/HOL/BNF/BNF.thy
2013-08-21 traytel 2013-08-21 tuned theory imports
2013-07-25 traytel 2013-07-25 transfer rule for {c,d}tor_{,un}fold
2013-07-22 traytel 2013-07-22 transfer rule for map (not yet registered as a transfer rule)
2013-05-07 traytel 2013-05-07 removed dead internal constants/theorems
2013-05-07 traytel 2013-05-07 tuned
2013-03-18 traytel 2013-03-18 hide internal constants; tuned proofs
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"