Measure functions can now be declared via special rules, allowing for a
prolog-style generation of measure functions for a specific type.
(* $Id$ *)
no_document use_thys ["Infinite_Set", "Permutation", "Primes"];
use_thys ["Fib", "Factorization", "Chinese", "WilsonRuss",
"WilsonBij", "Quadratic_Reciprocity"];