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/ROOT
changeset 59667 651ea265d568
parent 59503 9937bc07202b
child 59739 4ed50ebf5d36
child 59741 5b762cd73a8e 
--- a/src/HOL/ROOT	Tue Mar 10 11:56:32 2015 +0100
+++ b/src/HOL/ROOT	Tue Mar 10 15:20:40 2015 +0000
@@ -285,7 +285,6 @@
     (* Preliminaries from set and number theory *)
     "~~/src/HOL/Library/FuncSet"
     "~~/src/HOL/Number_Theory/Primes"
-    "~~/src/HOL/Number_Theory/Binomial"
     "~~/src/HOL/Library/Permutation"
   theories
     (*** New development, based on explicit structures ***)
isabelle