CookBook/Tactical.thy
Fri, 06 Mar 2009 21:52:17 +0000 Christian Urban some additions to the simplifier section and general tuning
Fri, 06 Mar 2009 16:12:16 +0000 Christian Urban rolled back the changes on the function warning and tracing
Thu, 05 Mar 2009 16:46:43 +0000 Christian Urban redefined the functions warning and tracing in order to properly match more antiquotations
Wed, 04 Mar 2009 13:50:47 +0000 Christian Urban removed infix_conv and moved function no_vars into the FirstSteps chapter
Wed, 04 Mar 2009 13:15:29 +0000 Christian Urban added more to the simplifier section
Tue, 03 Mar 2009 13:00:55 +0000 Christian Urban polished
Sat, 28 Feb 2009 14:18:02 +0000 Christian Urban general polishing; added versioning to the document
less more (0) -30 -10 -7 tip