src/HOL/UNITY/Follows.thy
changeset 8948 b797cfa3548d
parent 8128 3a5864b465e2
child 9019 9c1118619d6c
     1.1 --- a/src/HOL/UNITY/Follows.thy	Wed May 24 18:19:04 2000 +0200
     1.2 +++ b/src/HOL/UNITY/Follows.thy	Wed May 24 18:40:01 2000 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  The "Follows" relation of Charpentier and Sivilotte
     1.5  *)
     1.6  
     1.7 -Follows = SubstAx +
     1.8 +Follows = SubstAx + ListOrder +
     1.9  
    1.10  constdefs
    1.11