src/HOL/UNITY/Project.thy
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"