doc-src/TutorialI/Inductive/AB.thy
changeset 37337 c0cf8b6c2c26
parent 27167 a99747ccba87