| Tue, 13 Nov 2007 10:54:40 +0100 | berghofe | Moved nat_eq_dec and search to Util.thy | file | diff | annotate |
| Mon, 20 Aug 2007 18:07:49 +0200 | haftmann | renamed code_gen to export_code | file | diff | annotate |
| Mon, 13 Aug 2007 21:22:37 +0200 | haftmann | renamed keyword "to" to "module_name" | file | diff | annotate |
| Thu, 19 Jul 2007 21:47:39 +0200 | haftmann | uniform naming conventions for CG theories | file | diff | annotate |
| Mon, 16 Jul 2007 09:29:03 +0200 | haftmann | dropped outer ROOT structure for generated code | file | diff | annotate |
| Thu, 10 May 2007 10:22:17 +0200 | haftmann | consts in consts_code Isar commands are now referred to by usual term syntax | file | diff | annotate |
| Sun, 06 May 2007 21:50:17 +0200 | haftmann | changed code generator invocation syntax | file | diff | annotate |
| Fri, 20 Apr 2007 11:21:35 +0200 | haftmann | tuned | file | diff | annotate |
| Fri, 23 Mar 2007 09:40:50 +0100 | haftmann | tuned | file | diff | annotate |
| Mon, 27 Nov 2006 13:42:30 +0100 | haftmann | adjusted syntax for internal code generation | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Tue, 31 Oct 2006 14:58:16 +0100 | haftmann | cleaned up | file | diff | annotate |
| Fri, 20 Oct 2006 10:44:39 +0200 | haftmann | slight adaption | file | diff | annotate |
| Tue, 10 Oct 2006 09:17:19 +0200 | haftmann | added code_constsubst | file | diff | annotate |
| Mon, 02 Oct 2006 23:00:53 +0200 | haftmann | added example for code_gen | file | diff | annotate |
| Tue, 19 Sep 2006 15:21:52 +0200 | haftmann | added some stuff for code generation 2 | file | diff | annotate |
| Fri, 23 Sep 2005 16:05:42 +0200 | nipkow | rules -> iprover | file | diff | annotate |
| Thu, 25 Aug 2005 16:13:09 +0200 | berghofe | Adapted to new code generator syntax. | file | diff | annotate |
| Sat, 06 Aug 2005 18:06:56 +0200 | berghofe | Tuned comment. | file | diff | annotate |
| Fri, 05 Aug 2005 19:57:57 +0200 | berghofe | New case study: pigeonhole principle. | file | diff | annotate |