Sun, 06 May 2007 21:50:17 +0200 | haftmann | changed code generator invocation syntax | file | diff | annotate |
Thu, 26 Apr 2007 13:32:59 +0200 | haftmann | moved code generation pretty integers and characters to separate theories | file | diff | annotate |
Tue, 27 Mar 2007 12:28:42 +0200 | haftmann | cleaned up HOL/ex/Code*.thy | file | diff | annotate |