| Mon, 08 Dec 2008 08:56:30 +0100 | krauss | logically separate typedef axiomatization from constant definition | changeset | files |
| Mon, 08 Dec 2008 08:36:16 +0100 | krauss | add def before setting up goal | changeset | files |
| Sun, 07 Dec 2008 20:41:23 +0100 | krauss | killed dead code | changeset | files |
| Thu, 11 Dec 2008 09:02:22 +0100 | krauss | constrain type inference to sort "type" | changeset | files |