ProgTutorial/Package/Ind_Code.thy
Thu, 30 Jul 2009 11:38:52 +0200 Christian Urban made changes for SUBPROOF and sat_tac
Sat, 30 May 2009 17:40:20 +0200 Christian Urban added some first index-information
Sun, 17 May 2009 16:22:27 +0200 Christian Urban some polishing; added together with Jasmin more examples to the pretty printing section
less more (0) -10 -3 tip