src/HOL/Bali/Eval.thy

 *)
 header {* Operational evaluation (big-step) semantics of Java expressions and 
           statements
 *}
 
-theory Eval = State + DeclConcepts:
+theory Eval imports State DeclConcepts begin
 
 text {*
 
 improvements over Java Specification 1.0:
 \begin{itemize}