thys/MyFirst.thy
changeset 27 378077bab5d2
parent 22 fff2b8d356a5
equal deleted inserted replaced
26:51444f205b5b 27:378077bab5d2