changeset 51173 | 3cbb4e95a565 |
parent 32479 | 521cc9bf2958 |
child 58889 | 5b7a9633cfa8 |
--- a/src/HOL/Number_Theory/Number_Theory.thy Sun Feb 17 20:45:49 2013 +0100 +++ b/src/HOL/Number_Theory/Number_Theory.thy Sun Feb 17 21:29:30 2013 +0100 @@ -2,7 +2,8 @@ header {* Comprehensive number theory *} theory Number_Theory -imports Fib Residues +imports Fib Residues Eratosthenes begin end +