| Fri, 05 Jul 2013 16:22:28 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 05 Jul 2013 16:01:45 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 05 Jul 2013 15:38:03 +0200 | wenzelm | explicit module Document_ID as source of globally unique identifiers across ML/Scala; | changeset | files |
| Fri, 05 Jul 2013 16:45:31 +0200 | nipkow | improved proof automation for numerals | changeset | files |
| Fri, 05 Jul 2013 14:09:06 +0200 | wenzelm | merged | changeset | files |
| Thu, 04 Jul 2013 23:51:47 +0200 | wenzelm | separate exec_id assignment for Command.print states, without affecting result of eval; | changeset | files |