| Wed, 21 Mar 2007 13:58:36 +0100 | paulson | Numerous bug fixes. Type clauses distinguished from empty clauses. Working proof reduction. | changeset | files |
| Wed, 21 Mar 2007 08:07:19 +0100 | haftmann | added example file | changeset | files |
| Tue, 20 Mar 2007 21:21:38 +0100 | gagern | Better documentation path rewriting for src dir, used in tarball build. | changeset | files |
| Tue, 20 Mar 2007 20:42:14 +0100 | gagern | Changed AnnoMaLy build process from CVS to tarball sources. | changeset | files |
| Tue, 20 Mar 2007 17:07:23 +0100 | krauss | simplified "eval" oracle method | changeset | files |
| Tue, 20 Mar 2007 15:52:43 +0100 | haftmann | updated keywords | changeset | files |
| Tue, 20 Mar 2007 15:52:42 +0100 | haftmann | added theory dependency graph | changeset | files |
| Tue, 20 Mar 2007 15:52:41 +0100 | haftmann | improved treatment of defining equations stemming from specification tools | changeset | files |