Tue, 12 Jul 2005 18:28:36 +0200 | huffman | use qualified names for all constants | changeset | files |
Tue, 12 Jul 2005 18:26:44 +0200 | huffman | added lemmas sfst_defined_iff, ssnd_defined_iff, sfst_defined, ssnd_defined | changeset | files |
Tue, 12 Jul 2005 18:20:44 +0200 | huffman | generalized types of monadic operators to class cpo; added match function for UU | changeset | files |