Tue, 17 Dec 2013 15:56:57 +0100 | traytel | reduced cardinals dependencies of (co)datatypes | file | diff | annotate |
Mon, 25 Nov 2013 13:48:00 +0100 | traytel | eliminated dependence of Cardinals_FP on Set_Intervals, more precise imports | file | diff | annotate |
Mon, 25 Nov 2013 10:14:29 +0100 | traytel | eliminated dependence of BNF on Infinite_Set by moving 3 theorems from the latter to Main | file | diff | annotate |
Tue, 19 Nov 2013 01:29:50 +0100 | blanchet | optimized 'bad apple' method calls | file | diff | annotate |
Mon, 18 Nov 2013 18:04:45 +0100 | blanchet | compile | file | diff | annotate | base |