doc-src/TutorialI/Overview/LNCS/Ind.thy
changeset 14895 b9cc12a91fd3
parent 13439 2f98365f57a8
child 15905 0a4cc9b113c7