src/Doc/ROOT
changeset 55159 608c157d743d
parent 55073 9b96fb4c8cfd
child 55385 169e12bbf9a3
     1.1 --- a/src/Doc/ROOT	Mon Jan 27 17:13:33 2014 +0000
     1.2 +++ b/src/Doc/ROOT	Wed Jan 29 12:51:37 2014 +0000
     1.3 @@ -355,7 +355,7 @@
     1.4      "Rules/Blast"
     1.5      "Rules/Force"
     1.6    theories [pretty_margin = 64, thy_output_indent = 5]
     1.7 -    "Rules/Primes"
     1.8 +    "Rules/TPrimes"
     1.9      "Rules/Forward"
    1.10      "Rules/Tacticals"
    1.11      "Rules/find2"