src/ZF/IMP/Equiv.thy
author nipkow
Thu, 21 Jul 1994 14:27:00 +0200
changeset 482 3a4e092ba69c
child 511 b2be4790da7a
permissions -rw-r--r--
Initial revision

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

Equiv = Denotation + Evalc