doc-src/IsarImplementation/Thy/ROOT.ML
author wenzelm
Fri Aug 12 22:10:49 2011 +0200 (2011-08-12)
changeset 44163 32e0c150c010
parent 39884 a16b18fd6299
child 46295 2548a85b0e02
permissions -rw-r--r--
normalized theory dependencies wrt. file_store;
     1 use_thys [
     2   "Integration",
     3   "Isar",
     4   "Local_Theory",
     5   "Logic",
     6   "ML",
     7   "Prelim",
     8   "Proof",
     9   "Syntax",
    10   "Tactic"
    11 ];