| author | Walther Neuper <neuper@ist.tugraz.at> |
| Thu, 12 Aug 2010 15:03:34 +0200 | |
| branch | isac-from-Isabelle2009-2 |
| changeset 37913 | 20e3616b2d9c |
| parent 11243 | a9d4f354aba2 |
| permissions | -rw-r--r-- |
| nipkow@11210 | 1 |
By chapter: |
| nipkow@11210 | 2 |
|
| paulson@11212 | 3 |
chapters 1 and 2, maybe 3: Peter White |
| nipkow@11216 | 4 |
chapters 6, 7 and 8: David von Oheim |
| nipkow@11216 | 5 |
chapter 6, maybe 8: Gerwin Klein |
| paulson@11226 | 6 |
chapters 3, maybe 4: Tanja Vos |
| paulson@11243 | 7 |
chapters 1-3 at least: Stefano Bistarelli |