Slides/document/barendregt.jpg
branchNominal2-Isabelle2016
changeset 3243 c4f31f1564b7
parent 3113 f4112721a4b9