| author | Cezary Kaliszyk <kaliszyk@in.tum.de> |
| Wed, 14 Apr 2010 16:10:44 +0200 | |
| changeset 1839 | 9a8decba77c5 |
| parent 1838 | 9978fc6d91e9 (current diff) |
| parent 1837 | edc2a52cd457 (diff) |
| child 1840 | b435ee87d9c8 |
| Nominal/Lift.thy | file | annotate | diff | comparison | revisions |