| Mon, 05 Mar 2012 16:27:28 +0000 | Christian Urban | updated tutorial to latest version and added it to the tests | file | diff | annotate |
| Fri, 04 Feb 2011 03:52:38 +0000 | Christian Urban | Lambda.thy which works with Nominal_Isabelle2011 | file | diff | annotate |