# HG changeset patch
# User wenzelm
# Date 967760886 -7200
# Node ID a589b1d75b7b3cb0049c37e156b2dfcf94e9b62e
# Parent  dc2ee9b2e065427649ef1452f64f4ed6bbdc8df9
lemmas [mono] = lists_mono;

diff -r dc2ee9b2e065 -r a589b1d75b7b 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