src/HOL/IMP/Denotational.thy
2016-02-17 haftmann 2016-02-17 prefer abbreviations for compound operators INFIMUM and SUPREMUM
2016-01-22 paulson 2016-01-22 Reorganised a huge proof
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2013-06-21 nipkow 2013-06-21 tuned
2013-06-20 nipkow 2013-06-20 added lemma
2013-06-19 nipkow 2013-06-19 tuned
2013-06-19 nipkow 2013-06-19 tuned
2013-06-19 nipkow 2013-06-19 more canonical name (2)
2013-06-19 nipkow 2013-06-19 more canonical name