| Wed, 10 Dec 2008 22:55:15 +0100 | wenzelm | more antiquotations; | changeset | files |
| Thu, 11 Dec 2008 16:50:18 +0100 | wenzelm | pcpodef package: state two goals, instead of encoded conjunction; | changeset | files |
| Thu, 11 Dec 2008 16:30:35 +0100 | wenzelm | recovered goal_pat; | changeset | files |
| Thu, 11 Dec 2008 16:09:12 +0100 | wenzelm | inhabitance goal is now stated in original form and result contracted -- | changeset | files |