ProgTutorial/antiquote_setup.ML
2009-10-30 haftmann Proof.goal
2009-10-22 Christian Urban updated to new Isabelle
less more (0) -10 -2 tip