| Thu, 26 May 2005 02:26:28 +0200 | huffman | cleaned up, added UU_app and less_funI, removed some obsolete stuff | file | diff | annotate |
| Fri, 04 Mar 2005 23:12:36 +0100 | huffman | converted to new-style theories, and combined numbered files | file | diff | annotate |