doc-src/TutorialI/Inductive/Mutual.thy
changeset 20739 8df08902da6f
parent 19389 0d57259fea82
child 23733 3f8ad7418e55
equal deleted inserted replaced
20738:a965cad7d455 20739:8df08902da6f