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 23192 ec73b9707d48
parent 23100 1c84d7294d5b
child 23854 688a8a7bcd4e 
--- a/src/HOL/Library/Library.thy	Fri Jun 01 20:34:12 2007 +0200
+++ b/src/HOL/Library/Library.thy	Fri Jun 01 22:09:16 2007 +0200
@@ -17,7 +17,6 @@
   FuncSet
   GCD
   Infinite_Set
-  List_Comprehension
   MLString
   Multiset
   NatPair
isabelle