doc-src/TutorialI/Inductive/Mutual.thy
changeset 11187 c6e49929e544
parent 10884 2995639c6a09
child 11494 23a118849801
equal deleted inserted replaced
11186:63f3e98df2a4 11187:c6e49929e544