doc-src/TutorialI/Overview/LNCS/Ind.thy
changeset 47922 bba52dffab2b
parent 21324 a5089fc012b5
equal deleted inserted replaced
47921:fc26d5538868 47922:bba52dffab2b