author | wenzelm |
Fri, 21 Sep 2007 22:51:08 +0200 | |
changeset 24669 | 4579eac2c997 |
parent 24104 | 719fbe4fb77f |
permissions | -rw-r--r-- |
19671 | 1 |
(* $Id$ *) |
9508
4d01dbf6ded7
Chinese Remainder Theorem, Wilsons Theorem, etc., by T M Masmussen
paulson
parents:
diff
changeset
|
2 |
|
24104 | 3 |
no_document use_thys ["Infinite_Set", "Permutation", "Primes"]; |
4 |
use_thys ["Fib", "Factorization", "Chinese", "WilsonRuss", |
|
5 |
"WilsonBij", "Quadratic_Reciprocity"]; |