| 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 |
| Fri, 20 Mar 2015 14:00:22 +0000 | paulson | fixed crash in cancel_numeral_simprocs. NB they still don't work except for type nat! | changeset | files |
| Thu, 19 Mar 2015 22:31:23 +0100 | wenzelm | merged | changeset | files |