src/HOL/UNITY/Detects.thy
2010-07-22 wenzelm 2010-07-22 updated some headers;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
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-24 paulson 2003-01-24 Partial conversion of UNITY to Isar new-style theories
2000-03-03 paulson 2000-03-03 Added Tanja's Detects and Reachability theories. Also changed object-quantifiers to meta-quantifiers in ball_constrains_UN/INT...