Tutorial/Lambda.thy
2011-02-04 Christian Urban Lambda.thy which works with Nominal_Isabelle2011
2011-01-23 Christian Urban cleaning up
2011-01-19 Christian Urban added a very rough version of the tutorial; all seems to work
2011-01-19 Christian Urban base file for the tutorial (contains definitions for heigt, subst and beta-reduction)
less more (0) tip