Tutorial/slides.pdf
author Christian Urban <urbanc@in.tum.de>
Thu, 19 Apr 2018 13:58:22 +0100 (2018-04-19)
branchNominal2-Isabelle2016-1
changeset 3246 66114fa3d2ee
parent 2703 f3160f03fa23
permissions -rwxr-xr-x
updated to Isabelle 2016-1
(binary:application/pdf)