Nominal/Abs.thy
changeset 1867 f4477d3fe520
parent 1857 591cc76da570
child 1911 60b5c61d3de2