doc-src/Exercises/2000/a1/Snoc.thy
changeset 14610 9c2e31e483b2
parent 13739 f5d0a66c8124