src/FOLP/simpdata.ML
changeset 26161 34cb0b457dcc
parent 17480 fd19f77dcf60
child 26322 eaf634e975fa
equal deleted inserted replaced
26160:ff5bb2b532b3 26161:34cb0b457dcc