ProgTutorial/Advanced.thy
2010-07-28 Christian Urban test
2010-01-08 Christian Urban polished
2009-12-31 Christian Urban updated to new Isabelle
2009-12-03 Christian Urban tuned
2009-12-02 Christian Urban tunded
2009-11-22 Christian Urban updated to new Isabelle and clarified Skip_Proof
2009-11-22 Christian Urban tuning
2009-11-19 Christian Urban tuned
2009-11-19 Christian Urban spilt the Essential's chapter
less more (0) tip