src/HOL/Import/ImportRecorder.thy
2006-09-19 haftmann 2006-09-19 added suspensions in Pure
2006-02-17 obua 2006-02-17 use monomorphic sequences / scanners
2006-02-16 obua 2006-02-16 improved scanning
2006-02-15 obua 2006-02-15 fixed bugs, added caching