1. parts-1-2-escardo.pdf
2. parts-3-4-simpson.pdf
3. Iabstract1.hs
4. Iabstract2.hs
5. IabstractInter.hs
6. definability.hs