| Thu, 04 Jul 2013 23:51:47 +0200 | wenzelm | separate exec_id assignment for Command.print states, without affecting result of eval; | changeset | files |
| Thu, 04 Jul 2013 16:04:53 +0200 | wenzelm | more Command.memo operations; | changeset | files |
| Fri, 05 Jul 2013 09:17:03 +0200 | nipkow | tund proofs | changeset | files |
| Thu, 04 Jul 2013 12:02:11 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 04 Jul 2013 11:55:45 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Thu, 04 Jul 2013 09:13:49 +0200 | Andreas Lochbihler | merged | changeset | files |
| Wed, 03 Jul 2013 00:08:29 +0200 | krauss | more robust instantiation: extract vars from conclusion instead of relying on fixed overall ordering | changeset | files |