| Thu, 19 Nov 2009 21:06:22 -0800 | huffman | domain_isomorphism package defines combined copy function | changeset | files |
| Fri, 20 Nov 2009 07:24:21 +0100 | nipkow | merged | changeset | files |
| Fri, 20 Nov 2009 07:24:08 +0100 | nipkow | added Rene Thiemann's normalize function | changeset | files |
| Fri, 20 Nov 2009 07:23:36 +0100 | nipkow | added lemma | changeset | files |
| Thu, 19 Nov 2009 20:09:56 -0800 | huffman | merged | changeset | files |
| Thu, 19 Nov 2009 17:53:22 -0800 | huffman | domain_isomorphism package defines copy functions | changeset | files |
| Thu, 19 Nov 2009 16:50:25 -0800 | huffman | copy_of_dtyp uses map table from theory data | changeset | files |