| Tue, 28 Mar 2006 12:05:45 +0200 | schirmer | added map_val, superseding map_at and substitute | file | diff | annotate |
| Thu, 23 Mar 2006 20:03:53 +0100 | nipkow | Converted translations to abbbreviations. | file | diff | annotate |
| Fri, 10 Mar 2006 16:05:34 +0100 | schirmer | Added Library/AssocList.thy | file | diff | annotate |