thys/Exercises.thy
changeset 262 45ad887fa6aa
parent 260 160d0b08471c
child 266 fff2e1b40dfc
equal deleted inserted replaced
261:247fc5dd4943 262:45ad887fa6aa