CookBook/Tactical.thy
Thu, 26 Feb 2009 12:16:24 +0000 Christian Urban polished
Wed, 25 Feb 2009 22:13:41 +0000 Christian Urban deleted Ad-hoc recipe
Wed, 25 Feb 2009 21:55:08 +0000 Christian Urban more polishing of the conversion section
Wed, 25 Feb 2009 16:49:20 +0000 Christian Urban some polishing about conversions
Wed, 25 Feb 2009 12:08:32 +0000 Christian Urban some very slight polishing on the conversion section
Wed, 25 Feb 2009 11:07:43 +0100 boehmes Polished conversion section.
Wed, 25 Feb 2009 10:14:42 +0100 boehmes Merged with new cookbook.pdf.
Wed, 25 Feb 2009 10:10:23 +0100 boehmes Improved conversion subsection.
Tue, 24 Feb 2009 22:23:07 +0000 Christian Urban new pfd file
Tue, 24 Feb 2009 14:35:07 +0100 boehmes First draft for conversions subsection.
Tue, 24 Feb 2009 11:15:41 +0000 Christian Urban some slight polishing
Tue, 24 Feb 2009 01:30:15 +0000 Christian Urban polishing and start of the section about attributes
Mon, 23 Feb 2009 17:08:15 +0000 Christian Urban polished
Mon, 23 Feb 2009 00:27:27 +0000 Christian Urban polished
Sun, 22 Feb 2009 13:37:47 +0000 Christian Urban polished the section about simprocs and added an exercise
less more (0) -15 tip