| Fri, 08 Jul 2005 02:41:19 +0200 | huffman | define 'a u with datatype package; | changeset | files |
| Fri, 08 Jul 2005 02:39:53 +0200 | huffman | added lemmas sinl_defined_iff sinr_defined_iff, sinl_eq_sinr, sinr_eq_sinl; added more simp rules; cleaned up | changeset | files |
| Fri, 08 Jul 2005 02:38:05 +0200 | huffman | add lemma eq_sprod | changeset | files |
| Fri, 08 Jul 2005 02:37:42 +0200 | huffman | add lemma eq_cprod | changeset | files |