| Sat, 24 Dec 2011 15:53:10 +0100 | haftmann | adjusted to set/pred distinction by means of type constructor `set` | changeset | files |
| Sat, 24 Dec 2011 15:53:10 +0100 | haftmann | dropped references to obsolete fact `mem_def` | changeset | files |
| Sat, 24 Dec 2011 15:53:10 +0100 | haftmann | dropped obsolete lemma member_set | changeset | files |
| Sat, 24 Dec 2011 15:53:09 +0100 | haftmann | dropped obsolete code equation for Id | changeset | files |
| Sat, 24 Dec 2011 15:53:09 +0100 | haftmann | tuned proofs | changeset | files |
| Sat, 24 Dec 2011 15:53:09 +0100 | haftmann | generalized type signature to permit overloading on `set` | changeset | files |
| Sat, 24 Dec 2011 15:53:08 +0100 | haftmann | added monad instance for `set` | changeset | files |
| Sat, 24 Dec 2011 15:53:08 +0100 | haftmann | enum type class instance for `set`; dropped misfitting code lemma for trancl | changeset | files |