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 |