Thu, 19 Nov 2009 08:00:42 -0800 | huffman | prove isomorphism and isodefl rules | changeset | files |
Thu, 19 Nov 2009 07:09:04 -0800 | huffman | avoid using csplit; define copy functions exactly like the current domain package | changeset | files |
Thu, 19 Nov 2009 06:01:02 -0800 | huffman | merged | changeset | files |
Wed, 18 Nov 2009 16:57:58 -0800 | huffman | remove one_typ and tr_typ; add abs/rep lemmas | changeset | files |
Wed, 18 Nov 2009 16:14:28 -0800 | huffman | automate definition of rep/abs functions | changeset | files |
Wed, 18 Nov 2009 15:54:47 -0800 | huffman | get rid of numbers on thy variables | changeset | files |