doc-src/IsarRef/Thy/document/HOLCF_Specific.tex
2009-02-28 wenzelm 2009-02-28 updated generated files;
2008-11-13 wenzelm 2008-11-13 updated generated files;
2008-05-15 wenzelm 2008-05-15 updated generated file;
2008-05-08 wenzelm 2008-05-08 misc tuning;
2008-05-07 wenzelm 2008-05-07 updated generated file;
2008-05-07 wenzelm 2008-05-07 added logic-specific sessions;