--- a/src/Doc/ROOT Mon Jan 27 17:13:33 2014 +0000
+++ b/src/Doc/ROOT Wed Jan 29 12:51:37 2014 +0000
@@ -355,7 +355,7 @@
"Rules/Blast"
"Rules/Force"
theories [pretty_margin = 64, thy_output_indent = 5]
- "Rules/Primes"
+ "Rules/TPrimes"
"Rules/Forward"
"Rules/Tacticals"
"Rules/find2"