ProgTutorial/FirstSteps.thy
2009-12-06 Christian Urban polised
2009-11-22 Christian Urban updated to new Isabelle and clarified Skip_Proof
2009-11-22 Christian Urban tuning
2009-11-19 Christian Urban updated to new Isabelle
2009-11-11 Christian Urban updated to new Isabelle
2009-11-09 Christian Urban section about matching and unification of types
2009-11-07 Christian Urban added a section about unification and matching
less more (0) -100 -30 -10 -7 tip