| Mon, 21 Oct 2002 17:12:44 +0200 | berghofe | No more explicit manipulation of flex-flex constraints in metahyps_aux_tac. | changeset | files |
| Mon, 21 Oct 2002 17:11:29 +0200 | berghofe | Removed flexpair_def. | changeset | files |
| Mon, 21 Oct 2002 17:11:06 +0200 | berghofe | Removed Logic.strip_flexpairs. | changeset | files |
| Mon, 21 Oct 2002 17:09:31 +0200 | berghofe | No more explicit manipulation of flex-flex constraints in goals_conv. | changeset | files |
| Mon, 21 Oct 2002 17:07:58 +0200 | berghofe | Changed type of Logic.strip_horn. | changeset | files |
| Mon, 21 Oct 2002 17:07:27 +0200 | berghofe | Removed obsolete functions dealing with flex-flex constraints. | changeset | files |
| Mon, 21 Oct 2002 17:04:47 +0200 | berghofe | Changed handling of flex-flex constraints: now stored in separate | changeset | files |
| Mon, 21 Oct 2002 17:00:45 +0200 | berghofe | Now applies standard' to "unfold" theorem (due to flex-flex constraints). | changeset | files |