src/HOL/Import/importrecorder.ML
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2006-12-15 wenzelm 2006-12-15 avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
2006-02-16 obua 2006-02-16 cache improvements
2006-02-16 obua 2006-02-16 variable counter is now also cached
2006-02-15 obua 2006-02-15 fixed bugs, added caching