src/ZF/QUniv.thy
changeset 13220 62c899c77151
parent 6112 5e4871c5136b
child 13285 28d1823ce0f2
     1.1 --- a/src/ZF/QUniv.thy	Tue Jun 18 17:58:21 2002 +0200
     1.2 +++ b/src/ZF/QUniv.thy	Tue Jun 18 18:45:07 2002 +0200
     1.3 @@ -21,7 +21,7 @@
     1.4    case_eqns	qcase_QInl, qcase_QInr
     1.5  
     1.6  constdefs
     1.7 -  quniv :: i => i
     1.8 +  quniv :: "i => i"
     1.9     "quniv(A) == Pow(univ(eclose(A)))"
    1.10  
    1.11  end