1 (* Title: ZF/IMP/Evalc.thy
2 ID: $Id$
3 Author: Heiko Loetzbeyer & Robert Sandner, TUM
4 Copyright 1994 TUM
5
6 Dummy theory merely recording dependence
7 *)
8
9 Evalc = Evalc0