Tutorial/Tutorial1.thy
2012-03-05 Christian Urban updated tutorial to latest version and added it to the tests
2011-01-24 Cezary Kaliszyk merge
2011-01-24 Cezary Kaliszyk minor
2011-01-24 Cezary Kaliszyk Down as infixr
2011-01-22 Christian Urban cleaned up tutorial1...added solution file
2011-01-22 Christian Urban better version of Tutorial 1
2011-01-21 Christian Urban better flow of proofs and definitions and proof
2011-01-21 Christian Urban substitution lemma in separate file
2011-01-21 Christian Urban added unbind example
2011-01-20 Christian Urban a bit tuning
2011-01-20 Christian Urban first split of tutorrial theory
2011-01-19 Christian Urban added a very rough version of the tutorial; all seems to work
less more (0) tip