thys/Re1.thy.rej
changeset 22 fff2b8d356a5
parent 18 8c9349065477
equal deleted inserted replaced
21:893f0314a88b 22:fff2b8d356a5