src/HOL/UNITY/Comp.thy
2015-03-25 wenzelm 2015-03-25 prefer local fixes;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2012-03-13 wenzelm 2012-03-13 tuned context specifications and proofs;
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;
2009-04-20 haftmann 2009-04-20 power operation on functions with syntax o^; power operation on relations with syntax ^^
2007-08-03 wenzelm 2007-08-03 misc cleanup of ML bindings (for multihreading);
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-05-27 paulson 2003-05-27 removed redundant line
2003-03-21 paulson 2003-03-21 More on progress sets
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 converted more UNITY theories to new-style
2001-12-01 wenzelm 2001-12-01 renamed class "term" to "type" (actually "HOL.type");
2001-03-02 ehmety 2001-03-02 *** empty log message ***
2000-01-14 paulson 2000-01-14 still working; a bit of polishing
2000-01-13 paulson 2000-01-13 working version, with Alloc now working on the same state space as the whole system. Partial removal of ELT.
1999-12-08 paulson 1999-12-08 abolition of localTo: instead "guarantees" has local vars as extra argument
1999-08-31 paulson 1999-08-31 changed "component" infix in HOL/UNITY/Comp.thy to be overloaded <
1999-08-26 paulson 1999-08-26 changed "guar" back to "guarantees" (sorry) and FIXED ITS PRECEDENCE
1999-06-13 paulson 1999-06-13 guarantees -> guar
1999-05-17 paulson 1999-05-17 "component" now an infix
1999-03-01 paulson 1999-03-01 removed the infernal States, eqStates, compatible, etc.
1999-01-19 paulson 1999-01-19 updated comments
1998-12-03 paulson 1998-12-03 Addition of the States component; parts of Comp not working
1998-10-05 paulson 1998-10-05 Finished proofs to end of section 5.1 of Chandy and Sanders
1998-10-01 paulson 1998-10-01 composition theory