| Mon, 25 Nov 2013 13:48:00 +0100 | eliminated dependence of Cardinals_FP on Set_Intervals, more precise imports | file | diff | annotate |
| Mon, 25 Nov 2013 10:14:29 +0100 | 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 | optimized 'bad apple' method calls | file | diff | annotate |
| Mon, 18 Nov 2013 18:04:45 +0100 | compile | file | diff | annotate | base |