2011-11-12 wenzelm 2011-11-12 tuned 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;
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-02-16 paulson 2003-02-16 minor revisions
2003-02-08 paulson 2003-02-08 converting HOL/UNITY to use unconditional fairness
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
2000-09-23 paulson 2000-09-23 added compatibility relation: AllowedActs, Allowed, ok, OK and changes to "guarantees", etc.
1999-12-08 paulson 1999-12-08 abolition of localTo: instead "guarantees" has local vars as extra argument
1999-10-27 paulson 1999-10-27 working again; new treatment of LocalTo
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-10-04 paulson 1999-10-04 working snapshot (even Alloc)
1999-09-29 paulson 1999-09-29 working snapshot with new theory "Project"