src/HOL/IMP/Abs_State.thy
2015-10-13 nipkow 2015-10-13 prefer undecorated typedef
2015-09-24 wenzelm 2015-09-24 explicit indication of overloaded typedefs;
2015-09-15 nipkow 2015-09-15 goali -> i
2014-02-14 blanchet 2014-02-14 merged 'Option.map' and 'Option.map_option'
2014-01-05 nipkow 2014-01-05 minimized class dependency, updated references
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-07-25 haftmann 2013-07-25 factored syntactic type classes for bot and top (by Alessandro Coglio)
2013-07-03 nipkow 2013-07-03 tuned names
2013-05-16 nipkow 2013-05-16 merged
2013-05-16 nipkow 2013-05-16 finally: acom with pointwise access and update of annotations
2013-05-15 kuncar 2013-05-15 stronger reflexivity prover
2013-04-30 nipkow 2013-04-30 canonical names of classes
2013-04-28 nipkow 2013-04-28 tuned
2013-04-19 nipkow 2013-04-19 tuned
2013-04-18 nipkow 2013-04-18 avoided map_of in def of fun_rep (but still needed for efficient code)
2013-04-17 nipkow 2013-04-17 complete revision: finally got rid of annoying L-predicate
2013-04-12 nipkow 2013-04-12 reduced duplication
2013-03-10 nipkow 2013-03-10 factored out Step
2013-03-06 nipkow 2013-03-06 major redesign: order instead of preorder, new definition of intervals as quotients
2013-02-12 nipkow 2013-02-12 tuned top
2013-01-25 nipkow 2013-01-25 tuned
2012-09-26 nipkow 2012-09-26 tuned
2012-09-21 nipkow 2012-09-21 tuned names
2012-09-17 nipkow 2012-09-17 tuned
2012-09-16 nipkow 2012-09-16 converted wt into a set, tuned names
2012-09-14 nipkow 2012-09-14 tuned
2012-09-13 nipkow 2012-09-13 tuned
2012-04-20 nipkow 2012-04-20 forgot to add file
2012-01-27 nipkow 2012-01-27 removed duplicate definitions that made locale inconsistent
2012-01-26 nipkow 2012-01-26 tuned
2011-12-31 nipkow 2011-12-31 tuned types
2011-12-29 nipkow 2011-12-29 tuned
2011-11-24 nipkow 2011-11-24 Abstract interpretation is now based uniformly on annotated programs, including a collecting and a small step semantics
2011-10-20 nipkow 2011-10-20 renamed name -> vname
2011-10-12 nipkow 2011-10-12 separated monotonicity reasoning and defined narrowing with while_option
2011-09-28 nipkow 2011-09-28 Added Hoare-like Abstract Interpretation