src/HOL/UNITY/Detects.thy
2015-11-11 Andreas Lochbihler 2015-11-11 adapt to 90f54d9e63f2
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-07-02 wenzelm 2014-07-02 modernized definitions;
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...