src/HOL/ROOT
changeset 55730 97ff9276e12d
parent 55663 12448c179851
child 55973 471a71017cfc
     1.1 --- a/src/HOL/ROOT	Mon Feb 24 22:41:08 2014 +0100
     1.2 +++ b/src/HOL/ROOT	Mon Feb 24 23:17:55 2014 +0000
     1.3 @@ -173,7 +173,7 @@
     1.4  session "HOL-Number_Theory" in Number_Theory = HOL +
     1.5    description {*
     1.6      Fundamental Theorem of Arithmetic, Chinese Remainder Theorem, Fermat/Euler
     1.7 -    Theorem, Wilson's Theorem, Quadratic Reciprocity.
     1.8 +    Theorem, Wilson's Theorem, some lemmas for Quadratic Reciprocity.
     1.9    *}
    1.10    options [document_graph]
    1.11    theories [document = false]
    1.12 @@ -183,6 +183,7 @@
    1.13      "~~/src/HOL/Algebra/FiniteProduct"
    1.14    theories
    1.15      Pocklington
    1.16 +    Gauss
    1.17      Number_Theory
    1.18    files
    1.19      "document/root.tex"