| Sat, 24 Dec 2011 15:53:12 +0100 | haftmann | tuned layout | changeset | files |
| Sat, 24 Dec 2011 15:53:12 +0100 | haftmann | reduced to a compatibility layer | changeset | files |
| Sat, 24 Dec 2011 15:53:11 +0100 | haftmann | added setup for executable code | changeset | files |
| Sat, 24 Dec 2011 15:53:11 +0100 | haftmann | moved `sublists` to theory Enum | changeset | files |
| Sat, 24 Dec 2011 15:53:11 +0100 | haftmann | commented out examples which choke on strict set/pred distinction | changeset | files |
| Sat, 24 Dec 2011 15:53:11 +0100 | haftmann | explicitly spelt out proof of equivariance avoids problem with automation due to type constructor `set` | changeset | files |
| Sat, 24 Dec 2011 15:53:10 +0100 | haftmann | adjusted to set/pred distinction by means of type constructor `set` | changeset | files |