CookBook/FirstSteps.thy
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
less more (0) -30 -10 -3 tip