ProgTutorial/General.thy
Sat, 10 Oct 2009 20:27:51 +0200 Christian Urban more work
Sat, 10 Oct 2009 18:25:43 +0200 Christian Urban used a better implementation of \index in Latex; added more to the theorem section
Sat, 10 Oct 2009 15:16:44 +0200 Christian Urban more on the theorem section
Fri, 09 Oct 2009 10:34:38 +0200 Christian Urban a bit more work on the theorem section
less more (0) -4 tip