| Tue, 13 Aug 2013 15:59:22 +0200 | remove unnecessary dependencies on Library/Quotient_* | file | diff | annotate |
| Tue, 16 Jul 2013 15:59:55 +0200 | use transfer/lifting for proving countable set and multisets being BNFs | file | diff | annotate |
| Mon, 15 Jul 2013 15:50:39 +0200 | killed unused theorems | file | diff | annotate |
| Mon, 15 Jul 2013 14:23:51 +0200 | eliminate duplicated theorems (thanks to "Auto solve_direct" in jEdit) | file | diff | annotate |
| Wed, 21 Nov 2012 12:05:05 +0100 | renamed BNF/Countable_Set to Countable_Type and moved its generic stuff to Library/Countable_Set | file | diff | annotate | base |