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