2011-06-08 slightly faster/cleaner accumulation of polymorphic consts
blanchet [Wed, 08 Jun 2011 08:47:43 +0200] rev 43258
slightly faster/cleaner accumulation of polymorphic consts
2011-06-07 eliminated unnecessary tail-recursion and funny use of records as 'named arguments' for functions
krauss [Wed, 08 Jun 2011 00:01:20 +0200] rev 43257
eliminated unnecessary tail-recursion and funny use of records as 'named arguments' for functions
2011-06-07 more conventional variable naming
krauss [Wed, 08 Jun 2011 00:01:20 +0200] rev 43256
more conventional variable naming
2011-06-07 dropped outdated/speculative historical comments;
krauss [Wed, 08 Jun 2011 00:01:20 +0200] rev 43255
dropped outdated/speculative historical comments; adapted to isabelle commenting style; tuned
2011-06-07 less redundant tags
krauss [Wed, 08 Jun 2011 00:01:20 +0200] rev 43254
less redundant tags
2011-06-07 removed generation of instantiated pattern set, which is never actually used
krauss [Wed, 08 Jun 2011 00:01:20 +0200] rev 43253
removed generation of instantiated pattern set, which is never actually used
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip