1
(* Title: ZF/IMP/Evalb.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
Evalb = Evalb0