src/HOL/Import/mono_scan.ML
2006-02-17 obua 2006-02-17 use monomorphic sequences / scanners