src/HOL/UNITY/Follows.ML
Mon, 24 May 1999 15:47:06 +0200 paulson Theory of the "Follows" relation
less more (0) tip