| Sat, 17 Oct 2009 16:33:14 +0200 | wenzelm | Unsynchronized.set etc.; | changeset | files |
| Sat, 17 Oct 2009 15:57:51 +0200 | wenzelm | indicate CRITICAL nature of various setmp combinators; | changeset | files |
| Sat, 17 Oct 2009 15:55:57 +0200 | wenzelm | ISABELLE_TOOL; | changeset | files |
| Sat, 17 Oct 2009 15:42:36 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 17 Oct 2009 14:51:30 +0200 | wenzelm | merged | changeset | files |
| Sat, 17 Oct 2009 13:46:55 +0200 | nipkow | merged | changeset | files |