src/Provers/quantifier1.ML
changeset 15336 cb35ae957c65
parent 15027 d23887300b96
child 15531 08c8dad8e399
equal deleted inserted replaced
15335:f81e6e24351f 15336:cb35ae957c65