| Sun, 10 Oct 2010 20:42:10 +0100 | wenzelm | cover some more theory operations; | changeset | files |
| Sun, 10 Oct 2010 20:12:10 +0100 | wenzelm | note on Isabelle file specifications; | changeset | files |
| Sun, 10 Oct 2010 19:49:18 +0100 | wenzelm | modernized version of "Message output channels"; | changeset | files |