ProgTutorial/General.thy
2009-10-10 Christian Urban used a better implementation of \index in Latex; added more to the theorem section
less more (0) -1 tip