Nominal/Term5.thy
changeset 1482 a98c15866300
parent 1474 8a03753e0e02
child 1489 b9caceeec805
equal deleted inserted replaced
1481:401b61d1bd8a 1482:a98c15866300