isabelle: changeset 45:48119aa914b2

Mercurial Mercurial > repos > isabelle / changeset

author	wenzelm
	Fri, 08 Oct 1993 14:18:51 +0100
changeset 45	48119aa914b2
parent 44	00597b21a6a9
child 46	f0f4978af183

fixed comment;

src/ZF/Univ.thy		file \| annotate \| diff \| comparison \| revisions
src/ZF/univ.thy		file \| annotate \| diff \| comparison \| revisions

--- 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

--- 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

isabelle

RSS Atom