| Mon, 25 Nov 2013 16:00:09 +0000 | paulson | tweaks to the documentation | changeset | files |
| Mon, 25 Nov 2013 14:50:31 +0000 | paulson | MaSH files should be ignored | changeset | files |
| Mon, 25 Nov 2013 13:48:00 +0100 | traytel | eliminated dependence of Cardinals_FP on Set_Intervals, more precise imports | changeset | files |
| Mon, 25 Nov 2013 12:27:03 +0100 | traytel | adapt to 9733ab5c1df6 | changeset | files |
| Mon, 25 Nov 2013 10:20:25 +0100 | traytel | drop theorem duplicates | changeset | files |
| 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 | changeset | files |
| Mon, 25 Nov 2013 08:22:29 +0100 | nipkow | typos | changeset | files |