| Tue, 14 Jun 2005 03:50:20 +0200 | huffman | moved continuity simproc to a separate file | changeset | files |
| Tue, 14 Jun 2005 03:35:15 +0200 | huffman | up_eq and up_less in default simpset now | changeset | files |
| Mon, 13 Jun 2005 21:28:57 +0200 | obua | internalize axiom names in Defs.define; compress types via Term.compress_type | changeset | files |
| Mon, 13 Jun 2005 15:10:52 +0200 | paulson | downgraded to pdf v 1.4 | changeset | files |