thys/MyFirst.thy~
changeset 18 8c9349065477
parent 16 a92c10af61bd
child 20 c11651bbebf5
equal deleted inserted replaced
17:a5427713eef4 18:8c9349065477