Quot/Examples/AbsRepTest.thy
changeset 1235 2daa5549579e
parent 1150 689a18f9484c
equal deleted inserted replaced
1234:1240d5eb275d 1235:2daa5549579e