src/HOL/Datatype_Examples/Koenig.thy
2014-10-07 hoelzl 2014-10-07 move Stream theory from Datatype_Examples to Library
2014-09-11 blanchet 2014-09-11 renamed 'BNF_Examples' to 'Datatype_Examples' (cf. 'datatypes.pdf')