src/HOL/UNITY/Simple/Reach.thy
2003-02-08 paulson 2003-02-08 converting HOL/UNITY to use unconditional fairness
2003-02-05 paulson 2003-02-05 more tidying
2003-01-24 paulson 2003-01-24 Partial conversion of UNITY to Isar new-style theories
2001-12-01 wenzelm 2001-12-01 renamed class "term" to "type" (actually "HOL.type");
2001-03-05 paulson 2001-03-05 reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp