src/HOL/UNITY/Follows.ML
1999-08-26 paulson 1999-08-26 new destruction rules
1999-06-10 paulson 1999-06-10 shortened Follows to Fols
1999-05-24 paulson 1999-05-24 Theory of the "Follows" relation