--- a/src/Pure/Isar/theory_target.ML Mon Aug 09 14:47:28 2010 +0200
+++ b/src/Pure/Isar/theory_target.ML Mon Aug 09 15:19:45 2010 +0200
@@ -235,8 +235,8 @@
val is_canonical_class = is_class andalso
(Binding.eq_name (b, b')
andalso not (null prefix')
- andalso List.last prefix' = (Class_Target.class_prefix target, false) (*guesses class constants*)
- orelse same_shape (*guesses class abbrevs*));
+ andalso List.last prefix' = (Class_Target.class_prefix target, false)
+ orelse same_shape);
in
not is_canonical_class ?
(Context.mapping_result