# HG changeset patch
# User wenzelm
# Date 968172466 -7200
# Node ID a1383b55ac054184112dfa3930cc6a2f62eccad9
# Parent  5c6425d83501f264067a8236695e05cebaf01012
lemmas [recdef_cong] = map_cong;

diff -r 5c6425d83501 -r a1383b55ac05 src/HOL/Main.thy
--- a/src/HOL/Main.thy	Tue Sep 05 18:47:27 2000 +0200
+++ b/src/HOL/Main.thy	Tue Sep 05 18:47:46 2000 +0200
@@ -4,7 +4,8 @@
 
 theory Main = Map + String:
 
+(*actually belongs to theory List*)
 lemmas [mono] = lists_mono
+lemmas [recdef_cong] = map_cong 
 
 end
-