paulson [Mon, 25 Nov 2013 16:47:28 +0000] rev 55958
Small simplifications to proofs
traytel [Mon, 25 Nov 2013 15:56:23 +0100] rev 55957
possibility to fold coercion inference error messages; tuned;
paulson [Mon, 25 Nov 2013 16:00:09 +0000] rev 55956
tweaks to the documentation
paulson [Mon, 25 Nov 2013 14:50:31 +0000] rev 55955
MaSH files should be ignored
traytel [Mon, 25 Nov 2013 13:48:00 +0100] rev 55954
eliminated dependence of Cardinals_FP on Set_Intervals, more precise imports
traytel [Mon, 25 Nov 2013 12:27:03 +0100] rev 55953
adapt to 9733ab5c1df6
traytel [Mon, 25 Nov 2013 10:20:25 +0100] rev 55952
drop theorem duplicates
traytel [Mon, 25 Nov 2013 10:14:29 +0100] rev 55951
eliminated dependence of BNF on Infinite_Set by moving 3 theorems from the latter to Main
nipkow [Mon, 25 Nov 2013 08:22:29 +0100] rev 55950
typos
paulson [Mon, 25 Nov 2013 00:02:39 +0000] rev 55949
tidied more proofs