doc-src/Exercises/2000/a1/Arithmetic.thy
changeset 13854 91c9ab25fece
parent 13739 f5d0a66c8124