| Thu, 19 Apr 2018 13:57:17 +0100 | Christian Urban | updated to Isabelle 2016-1 | file | diff | annotate |
| Mon, 05 Mar 2012 16:27:28 +0000 | Christian Urban | updated tutorial to latest version and added it to the tests | file | diff | annotate |
| Sat, 22 Jan 2011 15:07:36 -0600 | Christian Urban | cleaned up tutorial1...added solution file | file | diff | annotate |