src/FOL/IFOL.thy
changeset 3932 436463f9f2b4
parent 3906 5ae0e1324c56
child 4092 9faf228771dc
     1.1 --- a/src/FOL/IFOL.thy	Mon Oct 20 10:38:16 1997 +0200
     1.2 +++ b/src/FOL/IFOL.thy	Mon Oct 20 10:38:36 1997 +0200
     1.3 @@ -64,7 +64,7 @@
     1.4    "op ~="       :: ['a, 'a] => o                (infixl "\\<noteq>" 50)
     1.5  
     1.6  
     1.7 -path IFOL
     1.8 +local
     1.9  
    1.10  rules
    1.11