Tue, 07 Jul 2009 17:21:27 +0200 | haftmann | tuned interface of structure Code | file | diff | annotate |
Fri, 03 Jul 2009 16:51:07 +0200 | haftmann | cleaned up fundamental iml term functions; nested patterns | file | diff | annotate |
Tue, 30 Jun 2009 19:31:50 +0200 | haftmann | improved treatment of case patterns | file | diff | annotate |
Tue, 30 Jun 2009 18:23:50 +0200 | haftmann | an intermediate step towards a refined translation of cases | file | diff | annotate |
Tue, 30 Jun 2009 17:33:30 +0200 | haftmann | all variable names are optional | file | diff | annotate |
Tue, 30 Jun 2009 16:43:28 +0200 | haftmann | variable names in abstractions are optional | file | diff | annotate |
Tue, 30 Jun 2009 14:54:00 +0200 | haftmann | simplified binding concept | file | diff | annotate |
Tue, 23 Jun 2009 12:09:30 +0200 | haftmann | uniformly capitialized names for subdirectories | file | diff | annotate | base |