IntEx.thy
changeset 401 211229d6c66f
parent 389 d67240113f68
child 405 8bc7428745ad
equal deleted inserted replaced
400:7ef153ded7e2 401:211229d6c66f