| Tue, 28 Jun 2005 15:27:45 +0200 | paulson | Constant "If" is now local | changeset | files |
| Tue, 28 Jun 2005 15:26:45 +0200 | haftmann | more sophisticated pypager | changeset | files |
| Tue, 28 Jun 2005 15:26:32 +0200 | paulson | replacing zabs_def by abs_if | changeset | files |
| Tue, 28 Jun 2005 12:32:38 +0200 | haftmann | introduced a notion of mirrors | changeset | files |
| Tue, 28 Jun 2005 12:25:19 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 12:25:19 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 12:16:01 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 12:16:01 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 12:03:43 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 12:03:19 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 11:59:38 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 11:58:56 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 11:55:30 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 11:55:30 +0200 | haftmann | some minor improvements | changeset | files |
| Tue, 28 Jun 2005 10:24:53 +0200 | haftmann | corrected comment | changeset | files |
| Tue, 28 Jun 2005 09:41:39 +0200 | haftmann | some corrections | changeset | files |
| Sun, 26 Jun 2005 15:16:58 +0200 | wenzelm | export get_calculation; | changeset | files |
| 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 |