doc-src/TutorialI/Types/Overloading.thy
changeset 10608 620647438780
parent 10328 bf33cbd76c05
child 11196 bb4ede27fcb7