| Wed, 19 Dec 2007 23:06:16 +0100 | wenzelm | updated; | changeset | files |
| Wed, 19 Dec 2007 23:06:14 +0100 | wenzelm | added General/random_word.ML; | changeset | files |
| Wed, 19 Dec 2007 23:06:14 +0100 | wenzelm | Simple generator for pseudo-random numbers, using unboxed word arithmetic only. | changeset | files |
| Wed, 19 Dec 2007 23:06:13 +0100 | wenzelm | removed duplicate CRITICAL markup; | changeset | files |
| Wed, 19 Dec 2007 22:34:03 +0100 | haftmann | instantiation target | changeset | files |
| Wed, 19 Dec 2007 22:33:44 +0100 | haftmann | tuned primitive inferences | changeset | files |
| Wed, 19 Dec 2007 17:40:48 +0100 | paulson | Replaced refs by config params; finer critical section in mets method | changeset | files |
| Wed, 19 Dec 2007 16:52:26 +0100 | wenzelm | simultaneous use_thys; | changeset | files |