src/HOL/IMP/Denotational.thy
Mon, 14 Jan 2019 18:35:03 +0000 haftmann tuned proofs
Thu, 15 Feb 2018 12:11:00 +0100 wenzelm more symbols;
Fri, 12 Jan 2018 14:08:53 +0100 wenzelm isabelle update_cartouches -c;
Tue, 07 Nov 2017 14:52:27 +0100 nipkow Replaced { } proofs by local lemmas; added Hoare logic with logical variables.
Wed, 17 Feb 2016 21:51:56 +0100 haftmann prefer abbreviations for compound operators INFIMUM and SUPREMUM
Fri, 22 Jan 2016 16:00:03 +0000 paulson Reorganised a huge proof
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Fri, 21 Jun 2013 09:00:26 +0200 nipkow tuned
Thu, 20 Jun 2013 17:43:36 +0200 nipkow added lemma
Wed, 19 Jun 2013 17:16:45 +0200 nipkow tuned
Wed, 19 Jun 2013 10:54:34 +0200 nipkow tuned
Wed, 19 Jun 2013 10:14:50 +0200 nipkow more canonical name (2)
Wed, 19 Jun 2013 10:07:36 +0200 nipkow more canonical name
less more (0) tip