--- a/src/HOL/Main.thy Wed Sep 06 13:32:25 2000 +0200
+++ b/src/HOL/Main.thy Wed Sep 06 16:54:12 2000 +0200
@@ -6,6 +6,6 @@
(*actually belongs to theory List*)
lemmas [mono] = lists_mono
-lemmas [recdef_cong] = map_cong
+lemmas [recdef_cong] = map_cong
end