ProgTutorial/output_tutorial.ML
2009-10-03 Christian Urban updated to new Isabelle; more work on the data section
2009-08-20 Christian Urban further polishing of index generation
2009-08-20 Christian Urban simplified a bit the index generation
less more (0) -3 tip