Mon, 04 Feb 2008 10:52:40 +0100 | haftmann | towards quickcheck | file | diff | annotate |
Fri, 12 Oct 2007 08:21:09 +0200 | haftmann | consolidated naming conventions for code generator theories | file | diff | annotate |
Tue, 18 Sep 2007 16:08:00 +0200 | wenzelm | simplified type int (eliminated IntInf.int, integer); | file | diff | annotate |
Fri, 10 Aug 2007 17:10:09 +0200 | haftmann | tuned | file | diff | annotate |
Sun, 29 Jul 2007 14:29:59 +0200 | wenzelm | marked some CRITICAL sections; | file | diff | annotate |
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 |