src/HOL/Main.thy
changeset 9768 a589b1d75b7b
parent 9650 6f0b89f2a1f9
child 9854 a1383b55ac05
     1.1 --- a/src/HOL/Main.thy	Fri Sep 01 00:27:41 2000 +0200
     1.2 +++ b/src/HOL/Main.thy	Fri Sep 01 00:28:06 2000 +0200
     1.3 @@ -4,5 +4,7 @@
     1.4  
     1.5  theory Main = Map + String:
     1.6  
     1.7 +lemmas [mono] = lists_mono
     1.8 +
     1.9  end
    1.10