src/HOL/Import/ImportRecorder.thy

renamed Name.give_names to Name.names and moved Name.alphanum to Symbol.alphanum

theory ImportRecorder imports Main 
uses  "seq.ML" "scan.ML" "mono_seq.ML" "mono_scan.ML" "susp.ML" "lazy_seq.ML" "xml.ML" "xmlconv.ML" "importrecorder.ML"
begin
end