doc-src/TutorialI/Recdef/termination.thy
changeset 12747 cc59ceb0bcb4
parent 12489 c92e38c3cbaa
child 13111 2d6782e71702
equal deleted inserted replaced
12746:892af6538f3d 12747:cc59ceb0bcb4