ProgTutorial/Tactical.thy
Wed, 22 Jul 2009 15:31:22 +0200 griff typo
Sat, 30 May 2009 17:40:20 +0200 Christian Urban added some first index-information
Sat, 30 May 2009 11:12:46 +0200 Christian Urban added infrastructure for index; antiquotations have now the options [index] and [indexc]
Sun, 17 May 2009 16:22:27 +0200 Christian Urban some polishing; added together with Jasmin more examples to the pretty printing section
Wed, 29 Apr 2009 00:36:14 +0200 Christian Urban slight polishing
Sat, 25 Apr 2009 17:46:47 +0200 Christian Urban polished
Sat, 25 Apr 2009 14:28:58 +0200 Christian Urban replaced explode by Symbol.explode
less more (0) -10 -7 tip