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.
proper inclusion into library
authorhaftmann
Sat, 05 Apr 2014 10:01:07 +0200
changeset 56415 f61a0f7cbde5
parent 56414 c1bbd3e22226
child 56416 b9baecff0684
proper inclusion into library
src/HOL/Library/Library.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Library.thy	Sat Apr 05 01:04:46 2014 +0100
+++ b/src/HOL/Library/Library.thy	Sat Apr 05 10:01:07 2014 +0200
@@ -33,6 +33,7 @@
   Lattice_Algebras
   Lattice_Syntax
   ListVector
+  Lubs_Glbs
   Kleene_Algebra
   Mapping
   Monad_Syntax
isabelle