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 |