| Mon, 12 Sep 2005 23:14:41 +0200 | huffman | added theorem attributes transfer_intro, transfer_unfold, transfer_refold; simplified some proofs; some rearranging | file | diff | annotate |
| Tue, 06 Sep 2005 23:11:09 +0200 | huffman | transfer principle tactic | file | diff | annotate |