src/HOL/UNITY/Constrains.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2011-11-20 wenzelm 2011-11-20 eliminated obsolete "standard";
2011-09-10 wenzelm 2011-09-10 speed up slow proof;
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2007-07-11 berghofe 2007-07-11 Adapted to new inductive definition package.
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
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-30 paulson 2003-01-30 conversion of UNITY theories to new-style
1999-06-13 paulson 1999-06-13 new-style infix directives
1999-05-24 paulson 1999-05-24 Increasing makes sense only for partial orderings
1999-05-04 paulson 1999-05-04 new definitions of Co and LeadsTo
1999-05-04 paulson 1999-05-04 Invariant -> Always and other tidying
1999-04-29 paulson 1999-04-29 made many specification operators infix
1999-04-28 paulson 1999-04-28 eliminated theory UNITY/Traces
1998-10-31 paulson 1998-10-31 the Increasing operator
1998-10-15 paulson 1998-10-15 specifications as sets of programs
1998-10-07 paulson 1998-10-07 tidying and renaming
1998-08-13 paulson 1998-08-13 Constrains, Stable, Invariant...more of the substitution axiom, but Union does not work well with them