author | haftmann |
Mon, 29 Sep 2008 12:31:58 +0200 | |
changeset 28401 | d5f39173444c |
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"]; |