proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
(* $Id$ *)
no_document use_thys ["Infinite_Set", "Permutation", "Primes"];
use_thys ["Fib", "Factorization", "Chinese", "WilsonRuss",
"WilsonBij", "Quadratic_Reciprocity"];