Wed, 08 Jun 2005 15:14:09 +0200 | haftmann | added some notes | changeset | files |
Wed, 08 Jun 2005 14:54:39 +0200 | haftmann | added file acces rights handling | changeset | files |
Wed, 08 Jun 2005 02:28:28 +0200 | huffman | fix usage of inverts lemma, which has fewer premises now | changeset | files |