--- a/src/ZF/IMP/Equiv.thy Mon Aug 08 16:45:08 1994 +0200 +++ b/src/ZF/IMP/Equiv.thy Fri Aug 12 10:20:07 1994 +0200 @@ -4,4 +4,4 @@ Copyright 1994 TUM *) -Equiv = Denotation + Evalc +Equiv = Denotation + Com