src/HOL/HOLCF/IMP/Denotational.thy
2017-08-18 wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2014-11-02 wenzelm 2014-11-02 modernized header;
2013-05-17 wenzelm 2013-05-17 repair after bc01725d7918;
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-06-01 nipkow 2011-06-01 Fixed denotational semantics
2011-03-29 wenzelm 2011-03-29 tuned headers;
2010-11-27 huffman 2010-11-27 moved directory src/HOLCF to src/HOL/HOLCF; added HOLCF theories to src/HOL/IsaMakefile;