doc-src/TutorialI/Overview/LNCS/FP1.thy
changeset 14722 8e739a6eaf11
parent 14138 ca5029d391d1
child 17656 a8b83a82c4c6