| Wed, 10 Aug 2011 16:35:50 -0700 | huffman | remove several redundant and unused theorems about derivatives | file | diff | annotate |
| Tue, 09 Aug 2011 10:30:00 -0700 | huffman | mark some redundant theorems as legacy | file | diff | annotate |
| Fri, 20 May 2011 11:44:16 +0200 | haftmann | names of fold_set locales resemble name of characteristic property more closely | file | diff | annotate |