src/Pure/Pure.thy
changeset 62848 e4140efe699e
parent 62490 39d01eaf5292
child 62849 caaa2fc4040d
     1.1 --- a/src/Pure/Pure.thy	Mon Apr 04 16:14:22 2016 +0200
     1.2 +++ b/src/Pure/Pure.thy	Mon Apr 04 17:02:34 2016 +0200
     1.3 @@ -93,23 +93,7 @@
     1.4    and "named_theorems" :: thy_decl
     1.5  begin
     1.6  
     1.7 -ML_file "ML/ml_antiquotations.ML"
     1.8 -ML_file "ML/ml_thms.ML"
     1.9 -ML_file "Tools/print_operation.ML"
    1.10  ML_file "Isar/isar_syn.ML"
    1.11 -ML_file "Isar/calculation.ML"
    1.12 -ML_file "Tools/bibtex.ML"
    1.13 -ML_file "Tools/rail.ML"
    1.14 -ML_file "Tools/rule_insts.ML"
    1.15 -ML_file "Tools/thm_deps.ML"
    1.16 -ML_file "Tools/thy_deps.ML"
    1.17 -ML_file "Tools/class_deps.ML"
    1.18 -ML_file "Tools/find_theorems.ML"
    1.19 -ML_file "Tools/find_consts.ML"
    1.20 -ML_file "Tools/simplifier_trace.ML"
    1.21 -ML_file_no_debug "Tools/debugger.ML"
    1.22 -ML_file "Tools/named_theorems.ML"
    1.23 -ML_file "Tools/jedit.ML"
    1.24  
    1.25  
    1.26  section \<open>Basic attributes\<close>