src/HOL/UNITY/Extend.thy
2016-05-25 wenzelm 2016-05-25 isabelle update_cartouches -c -t;
2016-02-17 haftmann 2016-02-17 prefer abbreviations for compound operators INFIMUM and SUPREMUM
2015-12-28 wenzelm 2015-12-28 prefer symbols for "Union", "Inter";
2015-12-27 wenzelm 2015-12-27 discontinued ASCII replacement syntax <*>;
2015-12-27 wenzelm 2015-12-27 discontinued ASCII replacement syntax <->;
2015-10-13 haftmann 2015-10-13 prod_case as canonical name for product type eliminator
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2012-03-13 wenzelm 2012-03-13 tuned context specifications and proofs;
2012-02-21 wenzelm 2012-02-21 tuned proofs;
2010-11-22 hoelzl 2010-11-22 Replace surj by abbreviation; remove surj_on.
2010-05-12 wenzelm 2010-05-12 modernized specifications;
2009-10-22 nipkow 2009-10-22 inv_onto -> inv_into
2009-10-18 nipkow 2009-10-18 merged
2009-10-18 nipkow 2009-10-18 Inv -> inv_onto, inv abbr. inv_onto UNIV.
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-02-16 paulson 2003-02-16 minor revisions
2003-02-08 paulson 2003-02-08 converting HOL/UNITY to use unconditional fairness
2003-02-04 paulson 2003-02-04 some x-symbols
2003-01-31 paulson 2003-01-31 conversion to new-style theories and tidying
2003-01-29 paulson 2003-01-29 converting UNITY to new-style theories
2001-01-09 nipkow 2001-01-09 *** empty log message ***
2000-09-23 paulson 2000-09-23 added compatibility relation: AllowedActs, Allowed, ok, OK and changes to "guarantees", etc.
2000-05-24 paulson 2000-05-24 restructuring: LessThan.ML mostly moved to HOL/SetInterval.ML
2000-04-13 nipkow 2000-04-13 Times -> <*> ** -> <*lex*>
1999-10-18 paulson 1999-10-18 exchanged the first two args of "project" and "drop_prog"
1999-10-18 paulson 1999-10-18 working version with localTo[C] instead of localTo
1999-10-11 paulson 1999-10-11 working shapshot with "projecting" and "extending"
1999-09-21 paulson 1999-09-21 project_act no longer has a special case to allow identity actions
1999-09-10 paulson 1999-09-10 working snapshot
1999-09-06 paulson 1999-09-06 working snapshot
1999-08-31 paulson 1999-08-31 changed "component" infix in HOL/UNITY/Comp.thy to be overloaded <
1999-08-27 paulson 1999-08-27 use of bij, new theorems, etc.
1999-08-25 paulson 1999-08-25 project constants
1999-05-21 paulson 1999-05-21 made definition more readable
1999-03-03 paulson 1999-03-03 new theory of extending the state space