src/HOL/UNITY/Comp/Handshake.thy
2015-07-23 wenzelm 2015-07-23 more symbols by default, without xsymbols mode;
2010-07-22 wenzelm 2010-07-22 updated some headers;
2010-05-12 wenzelm 2010-05-12 modernized specifications;
2006-01-03 paulson 2006-01-03 added explicit paths to required theories
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-06-02 paulson 2005-06-02 renamed "constrains" to "safety" to avoid keyword clash
2003-02-08 paulson 2003-02-08 converting HOL/UNITY to use unconditional fairness
2003-01-24 paulson 2003-01-24 More conversion of UNITY to Isar new-style theories
2001-03-05 paulson 2001-03-05 reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp