renamed "formal comments" to "document comments";
tuned section "Markup commands";
updated/tuned section "Document Antiquotations";
(* $Id$ *)
no_document use_thys ["Infinite_Set", "Permutation", "Primes"];
use_thys ["Fib", "Factorization", "Chinese", "WilsonRuss",
"WilsonBij", "Quadratic_Reciprocity"];