src/HOL/Basic_BNF_LFPs.thy
2015-03-26 blanchet 2015-03-26 store low-level (un)fold constants
2014-12-15 blanchet 2014-12-15 renamed theory file