thys/Re1.thy.rej
changeset 20 c11651bbebf5
parent 18 8c9349065477
equal deleted inserted replaced
19:66c9c06c0f0e 20:c11651bbebf5