src/HOL/ROOT
changeset 58023 62826b36ac5e
parent 57998 8b7508f848ef
child 58039 469a375212c1
     1.1 --- a/src/HOL/ROOT	Thu Aug 21 14:41:08 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Fri Aug 22 08:43:14 2014 +0200
     1.3 @@ -188,6 +188,7 @@
     1.4      Pocklington
     1.5      Gauss
     1.6      Number_Theory
     1.7 +    Euclidean_Algorithm
     1.8    document_files
     1.9      "root.tex"
    1.10