changeset 19089 | 2e487fe9593a |
parent 19064 | bf19cc5a7899 |
child 19093 | 6d584f9d2021 |
--- a/src/HOL/Import/ImportRecorder.thy Thu Feb 16 21:15:38 2006 +0100 +++ b/src/HOL/Import/ImportRecorder.thy Thu Feb 16 23:30:47 2006 +0100 @@ -1,4 +1,4 @@ theory ImportRecorder imports Main -uses "susp.ML" "lazy_seq.ML" "lazy_scan.ML" "xml.ML" "xmlconv.ML" "importrecorder.ML" +uses "seq.ML" "scan.ML" "susp.ML" "lazy_seq.ML" "xml.ML" "xmlconv.ML" "importrecorder.ML" begin end \ No newline at end of file