| Thu, 10 May 2007 10:21:44 +0200 | haftmann | tuned | file | diff | annotate |
| Thu, 10 May 2007 00:39:45 +0200 | wenzelm | moved conversions to structure Conv; | file | diff | annotate |
| Thu, 26 Apr 2007 13:33:12 +0200 | haftmann | tuned | file | diff | annotate |
| Fri, 20 Apr 2007 11:21:35 +0200 | haftmann | tuned | file | diff | annotate |
| Sun, 15 Apr 2007 14:32:05 +0200 | wenzelm | Thm.plain_prop_of; | file | diff | annotate |
| Fri, 30 Mar 2007 16:19:03 +0200 | haftmann | simplified constant representation in code generator | file | diff | annotate |
| Tue, 20 Mar 2007 15:52:41 +0100 | haftmann | improved treatment of defining equations stemming from specification tools | file | diff | annotate |
| Tue, 20 Mar 2007 08:27:20 +0100 | haftmann | adjusted definition of defining equation | file | diff | annotate |
| Fri, 16 Mar 2007 21:32:20 +0100 | haftmann | clarified check of defining equations | file | diff | annotate |
| Tue, 30 Jan 2007 08:21:19 +0100 | haftmann | additional auxiliary here | file | diff | annotate |
| Fri, 26 Jan 2007 13:59:04 +0100 | haftmann | clarified code | file | diff | annotate |
| Thu, 25 Jan 2007 09:32:51 +0100 | haftmann | tuned | file | diff | annotate |
| Tue, 09 Jan 2007 19:09:00 +0100 | haftmann | cleanup | file | diff | annotate |
| Tue, 09 Jan 2007 08:31:48 +0100 | haftmann | moved a lot to codegen_func.ML | file | diff | annotate |
| Fri, 05 Jan 2007 14:32:07 +0100 | haftmann | added codegen_func.ML | file | diff | annotate |