src/HOL/Import/scan.ML
2006-02-16 obua 2006-02-16 improved scanning