doc-src/IsarAdvanced/Codegen/Thy/Introduction.thy
Mon, 19 Jan 2009 13:37:24 +0100 haftmann "code equation" replaces "defining equation"
Fri, 17 Oct 2008 10:14:38 +0200 haftmann filled remaining gaps
Fri, 10 Oct 2008 15:23:33 +0200 haftmann tuned
Wed, 01 Oct 2008 13:33:54 +0200 haftmann fixed
less more (0) -4 tip