src/Provers/project_rule.ML
changeset 28917 20f43e0e0958
parent 22568 ed7aa5a350ef
equal deleted inserted replaced
28916:0a802cdda340 28917:20f43e0e0958