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