thys/Re1.thy~
changeset 22 fff2b8d356a5
parent 20 c11651bbebf5
equal deleted inserted replaced
21:893f0314a88b 22:fff2b8d356a5