doc-src/TutorialI/Recdef/simplification.thy
changeset 48855 a7d0b9e349ec
parent 19792 e8e3da6d3ff7