Nominal/LFex.thy
changeset 1289 02eb0f600630
parent 1279 d53b7f24450b
child 1300 22a084c9316b
equal deleted inserted replaced
1288:0203cd5cfd6c 1289:02eb0f600630