2013-03-18 traytel 2013-03-18 eliminate duplicated constant (diag vs. Id_on)
2013-03-18 traytel 2013-03-18 hide internal constants; tuned proofs
2012-11-13 traytel 2012-11-13 import Sublist rather than PrefixOrder to avoid unnecessary class instantiation
2012-09-28 blanchet 2012-09-28 killed temporary "data_raw" and "codata_raw" now that the examples have been ported to "data" and "codata"
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"