--- a/src/HOL/Bali/Trans.thy Fri Jun 17 11:35:35 2005 +0200
+++ b/src/HOL/Bali/Trans.thy Fri Jun 17 16:12:49 2005 +0200
@@ -8,7 +8,7 @@
PRELIMINARY!!!!!!!!
*)
-theory Trans = Evaln:
+theory Trans imports Evaln begin
constdefs groundVar:: "var \<Rightarrow> bool"
"groundVar v \<equiv> (case v of