Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lemmas [mono] = lists_mono;
authorwenzelm
Fri, 01 Sep 2000 00:28:06 +0200
changeset 9768 a589b1d75b7b
parent 9767 dc2ee9b2e065
child 9769 a73540153a73
lemmas [mono] = lists_mono;
src/HOL/Main.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle