src/HOL/Import/importrecorder.ML
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