src/HOL/Number_Theory/ROOT.ML
author haftmann
Tue Sep 01 15:39:33 2009 +0200 (2009-09-01)
changeset 32479 521cc9bf2958
parent 31719 src/HOL/NewNumberTheory/ROOT.ML@29f5b20e8ee8
child 33615 261abc2e3155
permissions -rw-r--r--
some reorganization of number theory
haftmann@32479
     1
haftmann@32479
     2
use_thy "Number_Theory";