equal
deleted
inserted
replaced
46 use "calculation.ML"; |
46 use "calculation.ML"; |
47 use "obtain.ML"; |
47 use "obtain.ML"; |
48 use "locale.ML"; |
48 use "locale.ML"; |
49 use "spec_parse.ML"; |
49 use "spec_parse.ML"; |
50 use "../axclass.ML"; |
50 use "../axclass.ML"; |
|
51 use "../Tools/class_package.ML"; |
51 use "theory_target.ML"; |
52 use "theory_target.ML"; |
52 use "specification.ML"; |
53 use "specification.ML"; |
53 use "constdefs.ML"; |
54 use "constdefs.ML"; |
54 |
55 |
55 (*toplevel environment*) |
56 (*toplevel environment*) |