isabelle: src/HOL/Old_Number_Theory/ROOT.ML@f8df589ca2a5 (annotated)

9508 4d01dbf6ded7 Chinese Remainder Theorem, Wilsons Theorem, etc., by T M Masmussen paulson parents: diff changeset	1
32479 521cc9bf2958 some reorganization of number theory haftmann parents: 24104 diff changeset	2	no_document use_thys ["Infinite_Set", "Permutation"];
24104 719fbe4fb77f simultaneous use_thys; wenzelm parents: 20809 diff changeset	3	use_thys ["Fib", "Factorization", "Chinese", "WilsonRuss",
32479 521cc9bf2958 some reorganization of number theory haftmann parents: 24104 diff changeset	4	"WilsonBij", "Quadratic_Reciprocity", "Primes", "Pocklington"];