src/HOL/UNITY/UNITY.thy
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
2001-01-09 nipkow 2001-01-09 *** empty log message ***
2001-01-05 nipkow 2001-01-05 ^^ -> ``` Univalent -> single_valued
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
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-04-29 paulson 1999-04-29 made many specification operators infix
1999-04-28 paulson 1999-04-28 eliminated theory UNITY/Traces
1998-11-06 paulson 1998-11-06 Revising the Client proof as suggested by Michel Charpentier. New lemmas about composition (in Union.ML), etc. Also changed "length" to "size" because it is displayed as "size" in any event.
1998-10-15 paulson 1998-10-15 specifications as sets of programs
1998-08-05 paulson 1998-08-05 New record type of programs
1998-07-13 paulson 1998-07-13 renamed mutex to Acts
1998-04-03 paulson 1998-04-03 New UNITY theory