| Mon, 28 Jun 2010 15:32:06 +0200 | haftmann | dropped ancient infix mem; refined code generation operations in List.thy | file | diff | annotate |
| Fri, 21 May 2010 17:16:16 +0200 | haftmann | adjusted to changes in Mapping.thy | file | diff | annotate |
| Sun, 11 Apr 2010 16:51:05 +0200 | haftmann | constructor Mapping replaces AList | file | diff | annotate |
| Wed, 17 Feb 2010 11:21:47 +0100 | haftmann | example for executable choice | file | diff | annotate |
| Wed, 17 Feb 2010 09:48:53 +0100 | haftmann | a draft for an example how to turn specifications involving choice executable | file | diff | annotate |