| Wed, 08 Jun 2011 08:47:43 +0200 | blanchet | killed "explicit_apply" option in Sledgehammer -- the "smart" default is about as lightweight as "false" and just as complete as "true" | changeset | files |
| Wed, 08 Jun 2011 08:47:43 +0200 | blanchet | slightly faster/cleaner accumulation of polymorphic consts | changeset | files |
| Wed, 08 Jun 2011 00:01:20 +0200 | krauss | eliminated unnecessary tail-recursion and funny use of records as 'named arguments' for functions | changeset | files |
| Wed, 08 Jun 2011 00:01:20 +0200 | krauss | more conventional variable naming | changeset | files |
| Wed, 08 Jun 2011 00:01:20 +0200 | krauss | dropped outdated/speculative historical comments; | changeset | files |
| Wed, 08 Jun 2011 00:01:20 +0200 | krauss | less redundant tags | changeset | files |