fixed bug: parent theory wasn't loaded if .thy file was completly read before
(regardless of the .ML file)
(* Title: ZF/IMP/Evalc.thy
ID: $Id$
Author: Heiko Loetzbeyer & Robert Sandner, TUM
Copyright 1994 TUM
Dummy theory merely recording dependence
*)
Evalc = Evalc0