src/HOL/ROOT
changeset 66805 274b4edca859
parent 66797 9c9baae29217
child 66842 7ded55dd2a55
     1.1 --- a/src/HOL/ROOT	Sun Oct 08 22:28:20 2017 +0200
     1.2 +++ b/src/HOL/ROOT	Sun Oct 08 22:28:21 2017 +0200
     1.3 @@ -71,7 +71,6 @@
     1.4      Computational_Algebra
     1.5      (*conflicting type class instantiations and dependent applications*)
     1.6      Field_as_Ring
     1.7 -    Polynomial_Factorial
     1.8  
     1.9  session "HOL-Hahn_Banach" in Hahn_Banach = "HOL-Library" +
    1.10    description {*