doc-src/Codegen/Thy/Program.thy
Mon, 16 Nov 2009 11:03:14 +0100 haftmann dropped obsolete documentation; updated generated sources
Tue, 14 Jul 2009 10:54:54 +0200 haftmann updated to changes in sources; tuned
Tue, 26 May 2009 12:31:01 +0200 haftmann documented print_codeproc command
Thu, 16 Apr 2009 14:10:58 +0200 haftmann wellsortedness is no issue for a user manual any more
less more (0) -4 tip