doc-src/TutorialI/Inductive/Advanced.thy
changeset 14381 1189a8212a12
parent 12156 d2758965362e
child 16417 9bc16273c2d4
equal deleted inserted replaced
14380:04b603a6f17d 14381:1189a8212a12