| 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
|
| Thu, 04 Jul 2013 08:52:44 +0200 |
haftmann |
consider explicit hint for domain of class parameters when printing instance statements
|
changeset |
files
|
| Thu, 04 Jul 2013 08:52:44 +0200 |
haftmann |
explicit hint for domain of class parameters in instance statements
|
changeset |
files
|
| Wed, 03 Jul 2013 23:42:07 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 03 Jul 2013 23:26:09 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
| Wed, 03 Jul 2013 23:02:00 +0200 |
wenzelm |
more exception handling -- make print functions total;
|
changeset |
files
|
| Wed, 03 Jul 2013 22:30:33 +0200 |
wenzelm |
more print function parameters;
|
changeset |
files
|
| Wed, 03 Jul 2013 21:55:15 +0200 |
wenzelm |
tuned;
|
changeset |
files
|