--- a/src/HOL/Bali/Decl.thy Mon Apr 26 14:54:45 2004 +0200
+++ b/src/HOL/Bali/Decl.thy Mon Apr 26 14:56:18 2004 +0200
@@ -366,9 +366,9 @@
consts
- Object_mdecls :: "mdecl list" --{* methods of Object *}
- SXcpt_mdecls :: "mdecl list" --{* methods of SXcpts *}
- ObjectC :: "cdecl" --{* declaration of root class *}
+ Object_mdecls :: "mdecl list" --{* methods of Object *}
+ SXcpt_mdecls :: "mdecl list" --{* methods of SXcpts *}
+ ObjectC :: "cdecl" --{* declaration of root class *}
SXcptC ::"xname \<Rightarrow> cdecl" --{* declarations of throwable classes *}
defs