| Mon, 24 Apr 2006 16:37:07 +0200 | haftmann | fixed typo | changeset | files |
| Mon, 24 Apr 2006 16:36:34 +0200 | haftmann | more precise data structure | changeset | files |
| Mon, 24 Apr 2006 16:36:07 +0200 | haftmann | cleaned up some diagnostic mathom | changeset | files |
| Mon, 24 Apr 2006 16:35:30 +0200 | haftmann | moved coalesce to AList, added equality predicates to library | changeset | files |
| Sun, 23 Apr 2006 10:57:48 +0200 | obua | added LP.thy | changeset | files |
| Sat, 22 Apr 2006 06:06:39 +0200 | mengj | Changed the treatment of equalities. | changeset | files |
| Thu, 20 Apr 2006 04:20:06 +0200 | mengj | Changed the logic detection method. | changeset | files |