| Sat, 04 Jun 2005 00:24:33 +0200 | huffman | Domain package generates match functions for new datatypes, for use with the fixrec package | changeset | files |
| Sat, 04 Jun 2005 00:23:40 +0200 | huffman | add dependency on Fixrec.thy | changeset | files |
| Sat, 04 Jun 2005 00:22:22 +0200 | huffman | add Fixrec.thy | changeset | files |