| Thu, 04 May 2006 19:48:20 +0200 | haftmann | added js | changeset | files |
| Thu, 04 May 2006 12:50:01 +0200 | webertj | Rat.one added | changeset | files |
| Thu, 04 May 2006 11:34:27 +0200 | haftmann | fixed some flaws | changeset | files |
| Thu, 04 May 2006 10:13:55 +0200 | haftmann | fixed some flaws | changeset | files |
| Wed, 03 May 2006 17:41:28 +0200 | haftmann | added world map | changeset | files |
| Wed, 03 May 2006 12:05:53 +0200 | webertj | pre_cnf_tac: beta-eta-normalization restricted to the current subgoal | changeset | files |
| Wed, 03 May 2006 09:45:09 +0200 | haftmann | improvments in mail obfuscator | changeset | files |
| Wed, 03 May 2006 05:56:11 +0200 | huffman | converted to isar theory; removed unsound adm_all axiom | changeset | files |