2005-02-01 paulson 2005-02-01 the new subst tactic, by Lucas Dixon
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-29 paulson 2003-01-29 converting UNITY to new-style theories
2000-07-21 paulson 2000-07-21 much tidying in connection with the 2nd UNITY paper
2000-02-18 paulson 2000-02-18 Rename: theory for applying a bijection over states to a UNITY program