| Wed, 25 Jul 2007 18:10:49 +0200 | nipkow | fixed broken proof | changeset | files |
| Wed, 25 Jul 2007 18:10:28 +0200 | nipkow | Added lemmas | changeset | files |
| Wed, 25 Jul 2007 17:05:50 +0200 | wenzelm | require_thy/schedule: improved task graph, actually observe dependencies on running tasks; | changeset | files |
| Wed, 25 Jul 2007 17:05:49 +0200 | wenzelm | added trace flag, official tracing operation; | changeset | files |
| Wed, 25 Jul 2007 17:05:48 +0200 | wenzelm | added structure Task; | changeset | files |
| Wed, 25 Jul 2007 17:05:47 +0200 | wenzelm | Secure.use_noncritical root; | changeset | files |
| Wed, 25 Jul 2007 17:05:45 +0200 | wenzelm | added use_noncritical; | changeset | files |