| Thu, 24 Jan 2008 23:51:13 +0100 | wenzelm | added setmp_thread_data_seq; | changeset | files |
| Thu, 24 Jan 2008 23:51:11 +0100 | wenzelm | removed obsolete context_position.ML (superseded by Position.thread_data); | changeset | files |
| Thu, 24 Jan 2008 12:02:44 +0100 | wenzelm | switched to polyml-cvs; | changeset | files |
| Thu, 24 Jan 2008 11:26:54 +0100 | berghofe | Reimplemented proof of strong induction theorem. | changeset | files |