doc-src/IsarAdvanced/Codegen/Thy/ML.thy
Thu, 01 Jan 2009 21:28:38 +0100 wenzelm updated type 'a lazy;
Thu, 23 Oct 2008 14:22:16 +0200 wenzelm renamed structure Susp to Lazy, and Susp.delay to Lazy.lazy;
Fri, 17 Oct 2008 10:14:38 +0200 haftmann filled remaining gaps
Wed, 01 Oct 2008 13:33:54 +0200 haftmann fixed
Tue, 30 Sep 2008 11:19:47 +0200 haftmann re-canibalised manual
Sun, 14 Sep 2008 21:50:35 +0200 haftmann New outline for codegen tutorial -- draft
less more (0) tip