doc-src/TutorialI/Overview/LNCS/Ind.thy
changeset 33387 acea2f336721
parent 21324 a5089fc012b5
equal deleted inserted replaced
33386:ff29d1549aca 33387:acea2f336721