| Fri, 20 Mar 2015 22:35:37 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 20 Mar 2015 22:18:40 +0100 | wenzelm | read instantiations uniformly for rules and tactics; | changeset | files |
| Fri, 20 Mar 2015 21:16:42 +0100 | wenzelm | removed presumably pointless detail; | changeset | files |
| Fri, 20 Mar 2015 20:48:33 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 20 Mar 2015 20:20:21 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 20 Mar 2015 19:05:03 +0100 | wenzelm | make SML/NJ happy; | changeset | files |
| Fri, 20 Mar 2015 16:18:20 +0000 | paulson | Merge | changeset | files |
| 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 |