src/HOL/BNF_Composition.thy
2014-09-16 blanchet 2014-09-16 tuned fact visibility
2014-09-09 blanchet 2014-09-09 hide DEADID/ID theorems
2014-09-04 blanchet 2014-09-04 renamed internal constant
2014-09-01 blanchet 2014-09-01 renamed BNF theories