doc-src/TutorialI/Misc/AdvancedInd.thy
changeset 18711 cf020c54e2f5
parent 16417 9bc16273c2d4
child 25258 22d16596c306
equal deleted inserted replaced
18710:527aa560a9e0 18711:cf020c54e2f5