doc-src/Exercises/2002/a6/a6.thy
changeset 15289 1d2dba93ef08
parent 13739 f5d0a66c8124