src/HOL/Import/susp.ML
2005-10-08 wenzelm 2005-10-08 moved susp.ML, lazy_seq.ML, lazy_scan.ML to HOL/Import;