doc-src/TutorialI/Overview/LNCS/FP1.thy
changeset 25456 6f79698f294d
parent 21324 a5089fc012b5
child 35416 d8d7d1b785af