| Wed, 20 Feb 2008 14:52:38 +0100 | haftmann | tuned structures in arith_data.ML | changeset | files |
| Wed, 20 Feb 2008 14:52:34 +0100 | haftmann | using only an relation predicate to construct div and mod | changeset | files |
| Wed, 20 Feb 2008 14:35:55 +0100 | nipkow | now in AFP | changeset | files |
| Tue, 19 Feb 2008 20:34:30 +0100 | wenzelm | added system_out (back to multithreaded version -- still suffers from non-interruptible wait in Poly/ML 5.1); | changeset | files |
| Tue, 19 Feb 2008 20:34:29 +0100 | wenzelm | removed General/system_process.ML (back to multithreaded version); | changeset | files |
| Tue, 19 Feb 2008 20:34:28 +0100 | wenzelm | replaced setpgrp by more elaborate setsid; | changeset | files |
| Tue, 19 Feb 2008 12:25:56 +0100 | urbanc | slightly tuned | changeset | files |
| Tue, 19 Feb 2008 10:21:09 +0100 | berghofe | Yet another proof of False, this time using the strong case analysis rule. | changeset | files |