src/HOL/Import/importrecorder.ML
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Tue, 29 Sep 2009 16:24:36 +0200 wenzelm explicit indication of Unsynchronized.ref;
Fri, 15 Dec 2006 00:08:06 +0100 wenzelm avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
Thu, 16 Feb 2006 14:59:57 +0100 obua cache improvements
Thu, 16 Feb 2006 04:17:19 +0100 obua variable counter is now also cached
Wed, 15 Feb 2006 23:57:06 +0100 obua fixed bugs, added caching
less more (0) tip