src/Doc/Codegen/Foundations.thy
Wed, 01 Jan 2014 01:05:48 +0100 haftmann fundamental treatment of undefined vs. universally partial replaces code_abort
Thu, 12 Dec 2013 17:02:52 +0100 haftmann be more explicit about pre- and postprocessor, particularly code_abbrev
less more (0) -2 tip