src/ZF/OrdQuant.thy
changeset 3940 1d5bee4d047f
parent 3923 c257b82a1200
child 6093 87bf8c03b169
     1.1 --- a/src/ZF/OrdQuant.thy	Mon Oct 20 10:53:25 1997 +0200
     1.2 +++ b/src/ZF/OrdQuant.thy	Mon Oct 20 10:53:42 1997 +0200
     1.3 @@ -32,7 +32,7 @@
     1.4    "@oex"      :: [idt, i, o] => o        ("(3\\<exists> _<_./ _)" 10)
     1.5    "@OUNION"   :: [idt, i, i] => i        ("(3\\<Union> _<_./ _)" 10)
     1.6  
     1.7 -path OrdQuant
     1.8 +local
     1.9  
    1.10  defs
    1.11