src/HOL/Main.thy

--- a/src/HOL/Main.thy	Fri Sep 01 00:27:41 2000 +0200
+++ b/src/HOL/Main.thy	Fri Sep 01 00:28:06 2000 +0200
@@ -4,5 +4,7 @@
 
 theory Main = Map + String:
 
+lemmas [mono] = lists_mono
+
 end