Nominal/NewParser.thy
changeset 2214 02e03d4287ec
parent 2168 ce0255ffaeb4
child 2301 8732ff59068b