ProgTutorial/Tactical.thy
Thu, 03 Dec 2009 14:19:13 +0100 Christian Urban tuned
Wed, 02 Dec 2009 17:06:41 +0100 Christian Urban tunded
Wed, 02 Dec 2009 02:34:09 +0100 Christian Urban implemented suggestion from Sascha
less more (0) -30 -10 -3 tip