src/Doc/Tutorial/Misc/AdvancedInd.thy
changeset 60243 5901cb4db0ae
parent 58860 fee7cfa69c50
child 63178 b9e1d53124f5
equal deleted inserted replaced
60242:3a8501876dba 60243:5901cb4db0ae