src/HOL/IOA/ROOT.ML
changeset 25247 7bacd1798fc4
parent 4529 21034b090722
child 33615 261abc2e3155
equal deleted inserted replaced
25246:584d8f2e1fc9 25247:7bacd1798fc4