| Thu, 08 May 2008 04:20:08 +0200 | urbanc | added at_set_avoiding lemmas | changeset | files |
| Wed, 07 May 2008 15:32:31 +0200 | wenzelm | removed obsolete conversion guide -- converted only section on tactics; | changeset | files |
| Wed, 07 May 2008 13:38:15 +0200 | wenzelm | converted ZF specific elements; | changeset | files |
| Wed, 07 May 2008 13:05:46 +0200 | wenzelm | enabled ThyOutput.source option by default; | changeset | files |
| Wed, 07 May 2008 13:05:13 +0200 | wenzelm | output_entity: ignore ThyOutput.source option; | changeset | files |
| Wed, 07 May 2008 13:04:12 +0200 | wenzelm | updated generated file; | changeset | files |
| Wed, 07 May 2008 12:56:11 +0200 | wenzelm | converted HOLCF specific elements; | changeset | files |