| Sat, 04 Jun 2005 01:48:34 +0200 | huffman | shrink session graph so it fits on a page | changeset | files |
| 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 |