--- a/src/HOL/UNITY/Follows.thy Thu Jan 13 17:29:04 2000 +0100 +++ b/src/HOL/UNITY/Follows.thy Thu Jan 13 17:30:23 2000 +0100 @@ -9,7 +9,7 @@ progress part: g cannot do anything silly. *) -Follows = ELT + +Follows = Project + constdefs