| Sat, 25 Jun 2005 16:07:55 +0200 | nipkow | Added term_lpo | changeset | files |
| 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 |
| Fri, 24 Jun 2005 16:21:01 +0200 | paulson | deleted a redundant "use" line | changeset | files |
| Fri, 24 Jun 2005 16:18:41 +0200 | paulson | tidying | changeset | files |
| Fri, 24 Jun 2005 13:22:08 +0200 | paulson | stylistic tweaks concerning Find | changeset | files |
| Fri, 24 Jun 2005 04:18:48 +0200 | kleing | shortened time out by 3h (gives up at 12:00h now). | changeset | files |