src/HOL/Number_Theory/ROOT.ML
author haftmann
Mon Mar 08 09:38:58 2010 +0100 (2010-03-08)
changeset 35644 d20cf282342e
parent 33615 261abc2e3155
permissions -rw-r--r--
transfer: avoid camel case
     1 use_thys ["Number_Theory"];