| Fri, 20 Mar 2015 16:11:28 +0000 | paulson | tweaked a few slow or very ugly proofs | changeset | files |
| Fri, 20 Mar 2015 16:18:28 +0100 | wenzelm | merged | changeset | files |
| Fri, 20 Mar 2015 14:48:04 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 20 Mar 2015 11:53:22 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 20 Mar 2015 11:48:34 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 20 Mar 2015 11:23:32 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 20 Mar 2015 11:09:08 +0100 | wenzelm | tuned -- prepare instantiation more uniformly; | changeset | files |
| Fri, 20 Mar 2015 14:06:15 +0000 | paulson | Merge | changeset | files |