Thu, 19 Nov 2009 16:50:25 -0800 | huffman | copy_of_dtyp uses map table from theory data | changeset | files |
Thu, 19 Nov 2009 16:48:40 -0800 | huffman | Domain.thy imports Representable.thy | changeset | files |
Thu, 19 Nov 2009 16:47:18 -0800 | huffman | fix definitions of copy combinators | changeset | files |