src/HOL/BNF_Def.thy
2014-01-20 blanchet 2014-01-20 moved BNF files to 'HOL'