| Mon, 25 Nov 2013 20:25:22 +0100 | panny | prevent exception when equations for a function are missing; | changeset | files |
| Tue, 26 Nov 2013 12:29:31 +0100 | hoelzl | Add Zorn to HOL-Library | changeset | files |
| Tue, 26 Nov 2013 10:17:14 +0100 | traytel | made SML/NJ happier | changeset | files |
| Tue, 26 Nov 2013 09:49:52 +0100 | traytel | NEWS | changeset | files |
| Mon, 25 Nov 2013 18:18:58 +0100 | haftmann | even more precise NEWS | changeset | files |
| 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 |
| Sun, 24 Nov 2013 00:31:50 +0000 | paulson | polished some ancient proofs | changeset | files |
| Sat, 23 Nov 2013 16:41:37 +0000 | paulson | merged | changeset | files |
| Sat, 23 Nov 2013 16:39:48 +0000 | paulson | Simplified, tidied and generalised proofs esp of Binomial Theorem. | changeset | files |