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;
wenzelm@30124
     1
use_thys [
wenzelm@30124
     2
  "Integration",
wenzelm@30124
     3
  "Isar",
wenzelm@30124
     4
  "Local_Theory",
wenzelm@30124
     5
  "Logic",
wenzelm@30124
     6
  "ML",
wenzelm@30124
     7
  "Prelim",
wenzelm@30124
     8
  "Proof",
wenzelm@30124
     9
  "Syntax",
wenzelm@30124
    10
  "Tactic"
wenzelm@30124
    11
];