| Wed, 11 Feb 2015 14:48:06 +0100 | blanchet | tuned default provers | changeset | files |
| Wed, 11 Feb 2015 12:01:56 +0000 | paulson | Merge | changeset | files |
| Tue, 10 Feb 2015 17:37:06 +0000 | paulson | Not a simprule, as it complicates proofs | changeset | files |
| Tue, 10 Feb 2015 16:09:30 +0000 | paulson | Merge | changeset | files |
| Tue, 10 Feb 2015 16:08:11 +0000 | paulson | New lemmas and a bit of tidying up. | changeset | files |
| Tue, 10 Feb 2015 23:02:39 +0100 | wenzelm | check unused theory; | changeset | files |
| Tue, 10 Feb 2015 22:52:44 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 10 Feb 2015 20:51:43 +0100 | wenzelm | more accurate context; | changeset | files |