src/HOL/ROOT
changeset 60804 080a979a985b
parent 60751 83f04804696c
child 60809 457abb82fb9e
     1.1 --- a/src/HOL/ROOT	Mon Jul 27 22:08:46 2015 +0200
     1.2 +++ b/src/HOL/ROOT	Mon Jul 27 22:44:02 2015 +0200
     1.3 @@ -188,6 +188,7 @@
     1.4      Gauss
     1.5      Number_Theory
     1.6      Euclidean_Algorithm
     1.7 +    Factorial_Ring
     1.8    document_files
     1.9      "root.tex"
    1.10