| 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 |
| Mon, 13 Jun 2005 14:35:05 +0200 | haftmann | experimental | changeset | files |
| Mon, 13 Jun 2005 14:31:21 +0200 | haftmann | just non_functional experimantal code, by now | changeset | files |
| Mon, 13 Jun 2005 13:10:45 +0200 | nipkow | changed -1 back to 0 | changeset | files |