| Mon, 07 Mar 2005 16:55:36 +0100 | paulson | Tools/meson.ML: signature, structure and "open" rather than "local" | changeset | files |
| Fri, 04 Mar 2005 23:25:06 +0100 | huffman | add header | changeset | files |
| Fri, 04 Mar 2005 23:23:47 +0100 | huffman | fix headers | changeset | files |
| Fri, 04 Mar 2005 23:12:36 +0100 | huffman | converted to new-style theories, and combined numbered files | changeset | files |
| Fri, 04 Mar 2005 18:53:46 +0100 | huffman | document generation for HOLCF | changeset | files |
| Fri, 04 Mar 2005 15:07:34 +0100 | skalberg | Removed practically all references to Library.foldr. | changeset | files |
| Fri, 04 Mar 2005 11:44:26 +0100 | paulson | new first_order test | changeset | files |