| Mon, 25 Nov 2013 16:59:02 +0000 | paulson | mreged | changeset | files |
| Mon, 25 Nov 2013 16:47:28 +0000 | paulson | Small simplifications to proofs | changeset | files |
| Mon, 25 Nov 2013 15:56:23 +0100 | traytel | possibility to fold coercion inference error messages; tuned; | changeset | files |
| 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 |
| Mon, 25 Nov 2013 00:02:39 +0000 | paulson | tidied more proofs | changeset | files |
| Sun, 24 Nov 2013 18:37:25 +0000 | paulson | cleaned up more messy proofs | changeset | files |
| Sun, 24 Nov 2013 13:07:47 +0000 | paulson | merged | changeset | files |
| Sun, 24 Nov 2013 13:06:22 +0000 | paulson | cleaned up some messy proofs | changeset | files |
| Sun, 24 Nov 2013 13:34:23 +0100 | nipkow | tuned | changeset | files |
| Sun, 24 Nov 2013 13:22:59 +0100 | nipkow | replaced bad example | changeset | files |