Mon, 15 Jul 2013 15:50:39 +0200 | traytel | killed unused theorems | file | diff | annotate |
Mon, 15 Jul 2013 14:23:51 +0200 | traytel | eliminate duplicated theorems (thanks to "Auto solve_direct" in jEdit) | file | diff | annotate |
Wed, 21 Nov 2012 12:05:05 +0100 | hoelzl | renamed BNF/Countable_Set to Countable_Type and moved its generic stuff to Library/Countable_Set | file | diff | annotate | base |