Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Library/Library.thy
changeset 57112 70395c65c0e3
parent 57025 e7fd64f82876
child 57250 cddaf5b93728 
--- a/src/HOL/Library/Library.thy	Thu May 29 11:11:22 2014 +0200
+++ b/src/HOL/Library/Library.thy	Thu May 29 16:13:47 2014 +0200
@@ -34,7 +34,6 @@
   Lattice_Syntax
   ListVector
   Lubs_Glbs
-  Kleene_Algebra
   Mapping
   Monad_Syntax
   Multiset
isabelle