--- a/src/HOL/ROOT Sat Apr 22 12:52:55 2017 +0200 +++ b/src/HOL/ROOT Sat Apr 22 22:01:35 2017 +0200 @@ -23,8 +23,6 @@ sessions "HOL-Library" theories - GCD - Binomial "HOL-Library.Old_Datatype" files "Tools/Quickcheck/Narrowing_Engine.hs"