src/HOL/UNITY/Comp.thy
2010-03-01 ago replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2009-10-17 ago eliminated hard tabulators, guessing at each author's individual tab-width;
2009-04-20 ago power operation on functions with syntax o^; power operation on relations with syntax ^^
2007-08-03 ago misc cleanup of ML bindings (for multihreading);
2005-06-17 ago migrated theory headers to new format
2003-05-27 ago removed redundant line
2003-03-21 ago More on progress sets
2003-02-16 ago minor revisions
2003-02-08 ago converting HOL/UNITY to use unconditional fairness
2003-02-04 ago some x-symbols
2003-01-31 ago conversion to new-style theories and tidying
2003-01-29 ago converted more UNITY theories to new-style
2001-12-01 ago renamed class "term" to "type" (actually "HOL.type");
2001-03-02 ago *** empty log message ***
2000-01-14 ago still working; a bit of polishing
2000-01-13 ago working version, with Alloc now working on the same state space as the whole
1999-12-08 ago abolition of localTo: instead "guarantees" has local vars as extra argument
1999-08-31 ago changed "component" infix in HOL/UNITY/Comp.thy to be overloaded <
1999-08-26 ago changed "guar" back to "guarantees" (sorry) and FIXED ITS PRECEDENCE
1999-06-13 ago guarantees -> guar
1999-05-17 ago "component" now an infix
1999-03-01 ago removed the infernal States, eqStates, compatible, etc.
1999-01-19 ago updated comments
1998-12-03 ago Addition of the States component; parts of Comp not working
1998-10-05 ago Finished proofs to end of section 5.1 of Chandy and Sanders
1998-10-01 ago composition theory