src/HOL/UNITY/Follows.thy
1999-05-24 paulson 1999-05-24 Theory of the "Follows" relation