--- a/src/HOL/NanoJava/Decl.thy Fri Jul 25 10:52:15 2003 +0200
+++ b/src/HOL/NanoJava/Decl.thy Fri Jul 25 17:21:22 2003 +0200
@@ -52,7 +52,7 @@
constdefs
- class :: "cname \<leadsto> class"
+ class :: "cname \<rightharpoonup> class"
"class \<equiv> map_of Prog"
is_class :: "cname => bool"