| Tue, 22 Sep 2009 14:17:54 +0200 | Philipp Meyer | removed opening of structures | changeset | files |
| Thu, 01 Oct 2009 18:59:26 +0200 | wenzelm | merged | changeset | files |
| Thu, 01 Oct 2009 18:58:47 +0200 | nipkow | merged | changeset | files |
| Thu, 01 Oct 2009 16:46:58 +0200 | nipkow | merged | changeset | files |
| Thu, 01 Oct 2009 16:46:48 +0200 | nipkow | made spass additional default prover | changeset | files |
| Thu, 01 Oct 2009 16:43:19 +0100 | paulson | merged | changeset | files |
| Thu, 01 Oct 2009 16:42:53 +0100 | paulson | Proved a new theorem: nat_to_nat2_inj | changeset | files |
| Thu, 01 Oct 2009 15:54:55 +0200 | boehmes | turned unsynchronized ref into synchronized var | changeset | files |
| Thu, 01 Oct 2009 15:19:49 +0200 | nipkow | merged | changeset | files |
| Thu, 01 Oct 2009 15:19:23 +0200 | nipkow | resolved conflict | changeset | files |
| Thu, 01 Oct 2009 11:35:13 +0200 | nipkow | record max lemmas used | changeset | files |
| Thu, 01 Oct 2009 18:24:06 +0200 | wenzelm | Lazy evaluation with memoing (sequential version). | changeset | files |
| Thu, 01 Oct 2009 18:21:11 +0200 | wenzelm | more official status of sequential implementations; | changeset | files |
| Thu, 01 Oct 2009 18:10:41 +0200 | wenzelm | separate concurrent/sequential versions of lazy evaluation; | changeset | files |