src/CTT/ex/Typechecking.thy
changeset 41648 6d736d983d5c
parent 39159 0dec18004e75
child 58889 5b7a9633cfa8