src/Provers/trancl.ML
changeset 20168 ed7bced29e1b
parent 15574 b1d1b5bfc464
child 22257 159bfab776e2
equal deleted inserted replaced
20167:fe5fd4fd4114 20168:ed7bced29e1b