--- a/src/ZF/univ.thy Fri Oct 08 14:16:29 1993 +0100 +++ b/src/ZF/univ.thy Fri Oct 08 14:18:51 1993 +0100 @@ -17,7 +17,6 @@ univ :: "i=>i" translations - (*Apparently a bug prevents using "Vset" == "Vfrom(0)" *) "Vset(x)" == "Vfrom(0,x)" rules