src/Provers/project_rule.ML
changeset 30151 629f3a92863e
parent 22568 ed7aa5a350ef
equal deleted inserted replaced
30150:4d5a98cebb24 30151:629f3a92863e