| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Mon, 11 Sep 2006 21:35:19 +0200 | wenzelm | induct method: renamed 'fixing' to 'arbitrary'; | file | diff | annotate |
| Tue, 28 Mar 2006 12:11:33 +0200 | schirmer | renamed map_val to map_ran | file | diff | annotate |
| 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 |