progtutorial.pdf
2009-08-05 Christian Urban tuned the section about printing several bits of inormation
2009-08-05 Christian Urban added a comment for printing out information and tuned some examples accordingly
2009-08-05 Christian Urban polished comment for error function
2009-08-04 Christian Urban added an antiquotation for printing the raw proof state; polished the example about proof state
2009-08-03 Christian Urban tuned
2009-08-03 Christian Urban replaced "writeln" with "tracing"
less more (0) -100 -30 -10 -6 tip