src/HOL/Lambda/Commutation.thy
changeset 30313 b2441b0c8d38
parent 28455 a79701b14a30
child 36862 952b2b102a0a