src/HOL/HOLCF/ex/Letrec.thy
2011-12-08 huffman 2011-12-08 HOLCF/ex/Letrec.thy: keep class 'domain' as default sort
2011-03-29 wenzelm 2011-03-29 tuned headers;
2011-01-08 huffman 2011-01-08 use proper syntactic types for 'syntax' commands
2010-12-17 wenzelm 2010-12-17 replaced command 'nonterminals' by slightly modernized version 'nonterminal';
2010-11-27 huffman 2010-11-27 moved directory src/HOLCF to src/HOL/HOLCF; added HOLCF theories to src/HOL/IsaMakefile;