| Sat, 25 Jun 2005 16:07:13 +0200 | nipkow | cancels completely within terms as well now. | changeset | files |
| Sat, 25 Jun 2005 16:06:17 +0200 | nipkow | Changes due to new abel_cancel.ML | changeset | files |
| Sat, 25 Jun 2005 12:37:07 +0200 | kleing | use both processors on macbroy5 | changeset | files |
| Sat, 25 Jun 2005 02:43:43 +0200 | kleing | switch mac test to macbroy5 | changeset | files |
| Sat, 25 Jun 2005 01:09:14 +0200 | huffman | cleaned up | changeset | files |
| Sat, 25 Jun 2005 01:04:01 +0200 | huffman | cleaned up proof of contlub_abstraction | changeset | files |
| Fri, 24 Jun 2005 17:25:10 +0200 | paulson | meson method taking an argument list | changeset | files |