src/HOL/Number_Theory/Number_Theory.thy
author wenzelm
Fri Dec 17 17:43:54 2010 +0100 (2010-12-17)
changeset 41229 d797baa3d57c
parent 32479 521cc9bf2958
child 51173 3cbb4e95a565
permissions -rw-r--r--
replaced command 'nonterminals' by slightly modernized version 'nonterminal';
     1 
     2 header {* Comprehensive number theory *}
     3 
     4 theory Number_Theory
     5 imports Fib Residues
     6 begin
     7 
     8 end