src/HOL/UNITY/Simple/NSP_Bad.thy
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
2004-07-11 wenzelm 2004-07-11 local_cla/simpset_of;
2003-09-23 paulson 2003-09-23 conversion of NSP_Bad to Isar script
2003-02-08 paulson 2003-02-08 converting HOL/UNITY to use unconditional fairness
2003-01-30 paulson 2003-01-30 conversion of UNITY theories to new-style
2001-03-05 paulson 2001-03-05 reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp