src/LCF/ex/ROOT.ML
changeset 29554 7e5e5ebb7bf7
parent 24106 f2965bf954dc
child 35762 af3ff2ba4c54
equal deleted inserted replaced
29553:c3b937e8597b 29554:7e5e5ebb7bf7