(* Title: ZF/IMP/Equiv.thy ID: $Id$ Author: Heiko Loetzbeyer & Robert Sandner, TUM Copyright 1994 TUM *) Equiv = Denotation + Evalc