src/HOL/UNITY/FP.thy
2003-02-08 paulson 2003-02-08 converting HOL/UNITY to use unconditional fairness
2003-01-31 paulson 2003-01-31 conversion to new-style theories and tidying
2003-01-30 paulson 2003-01-30 converting more UNITY theories to new-style
1998-10-15 paulson 1998-10-15 specifications as sets of programs
1998-04-03 paulson 1998-04-03 New UNITY theory