| Tue, 19 Jun 2007 23:15:23 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 05 Jun 2007 19:23:09 +0200 | haftmann | tuned boostrap | file | diff | annotate |
| Tue, 05 Jun 2007 15:16:08 +0200 | haftmann | merged Code_Generator.thy into HOL.thy | file | diff | annotate |
| Sun, 03 Jun 2007 16:57:51 +0200 | nipkow | tuned list comprehension, added lemma | file | diff | annotate |
| Fri, 01 Jun 2007 10:44:28 +0200 | haftmann | dropped superfluous name bindings | file | diff | annotate |
| Thu, 24 May 2007 08:37:39 +0200 | haftmann | rudimentary class target implementation | file | diff | annotate |
| Sat, 19 May 2007 14:05:05 +0200 | nipkow | unfold min/max in Stefans code generator | file | diff | annotate |
| Sat, 19 May 2007 11:33:22 +0200 | haftmann | no special treatment in naming of locale predicates stemming form classes | file | diff | annotate |
| Thu, 17 May 2007 19:49:40 +0200 | haftmann | canonical prefixing of class constants | file | diff | annotate |
| Thu, 10 May 2007 10:21:44 +0200 | haftmann | tuned | file | diff | annotate |
| Wed, 09 May 2007 07:53:06 +0200 | haftmann | moved recfun_codegen.ML to Code_Generator.thy | file | diff | annotate |
| Sun, 06 May 2007 21:49:27 +0200 | haftmann | dropped preorders, unified syntax | file | diff | annotate |
| Fri, 20 Apr 2007 11:21:36 +0200 | haftmann | shifted min/max to class order | file | diff | annotate |
| Thu, 29 Mar 2007 14:21:45 +0200 | haftmann | dropped legacy ML bindings | file | diff | annotate |
| Tue, 20 Mar 2007 08:27:15 +0100 | haftmann | explizit "type" superclass | file | diff | annotate |