Mon, 12 Sep 2005 23:27:12 +0200 | huffman | list of constants and theorems whose names have been changed or merged | changeset | files |
Mon, 12 Sep 2005 23:18:01 +0200 | huffman | add header | changeset | files |
Mon, 12 Sep 2005 23:14:41 +0200 | huffman | added theorem attributes transfer_intro, transfer_unfold, transfer_refold; simplified some proofs; some rearranging | changeset | files |