Tutorial/Tutorial6.thy
2014-05-19 Christian Urban changed nominal_primrec into the more appropriate nominal_function
2012-03-05 Christian Urban updated tutorial to latest version and added it to the tests
2011-01-23 Christian Urban added Tutorial6
less more (0) tip