| 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 |
| Thu, 19 Mar 2015 22:30:57 +0100 | wenzelm | more position information; | changeset | files |
| Thu, 19 Mar 2015 17:25:57 +0100 | wenzelm | misc tuning; | changeset | files |
| Thu, 19 Mar 2015 15:24:40 +0100 | wenzelm | tuned; | changeset | files |