| author | Cezary Kaliszyk <kaliszyk@in.tum.de> |
| Mon, 26 Apr 2010 10:01:13 +0200 | |
| changeset 1952 | 27cdc0a3a763 |
| parent 1951 | a0c7290a4e27 (diff) |
| parent 1950 | 7de54c9f81ac (current diff) |
| child 1955 | 6df6468f3c05 |
| Nominal/FSet.thy | file | annotate | diff | comparison | revisions |