Thu, 03 Jan 2008 23:58:27 +0100 | huffman | generalized chfindom_monofun2cont | changeset | files |
Thu, 03 Jan 2008 23:19:30 +0100 | berghofe | Implemented proof of strong case analysis rule. | changeset | files |
Thu, 03 Jan 2008 23:18:19 +0100 | berghofe | Added function fresh_const. | changeset | files |