doc-src/Codegen/Thy/Adaptation.thy
Thu, 02 Sep 2010 16:41:41 +0200 haftmann adapted to change eq -> equal
Wed, 18 Aug 2010 10:07:56 +0200 haftmann use command_def
Wed, 18 Aug 2010 09:55:00 +0200 haftmann use command_def vs. command more consciously
Tue, 17 Aug 2010 12:30:30 +0200 haftmann tuned whitespace
Thu, 15 Jul 2010 10:12:49 +0200 haftmann adjusted; fixed typo
Mon, 21 Dec 2009 16:49:04 +0000 paulson Polishing up the English
Wed, 20 May 2009 10:37:36 +0200 haftmann adjusted to changed theory name
Tue, 19 May 2009 16:54:55 +0200 haftmann String.literal replaces message_string, code_numeral replaces (code_)index
Wed, 06 May 2009 16:01:07 +0200 haftmann adaptation replaces adaption
less more (0) tip