| 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 |