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.
added Ramsey.thy to Library imports, to include it in the daily builds
authorkrauss
Mon, 04 Dec 2006 15:15:59 +0100
changeset 21635 32f3e1127de2
parent 21634 369e38e35686
child 21636 88b815dca68d
added Ramsey.thy to Library imports, to include it in the daily builds
src/HOL/Library/Library.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Library.thy	Mon Dec 04 15:15:09 2006 +0100
+++ b/src/HOL/Library/Library.thy	Mon Dec 04 15:15:59 2006 +0100
@@ -25,6 +25,7 @@
   Permutation
   Primes
   Quotient
+  Ramsey
   State_Monad
   While_Combinator
   Word
isabelle