doc-src/IsarRef/Thy/document/ML_Tactic.tex
changeset 32705 04ce6bb14d85
parent 30172 afdf7808cfd0
child 40406 313a24b66a8d
equal deleted inserted replaced
32682:304a47739407 32705:04ce6bb14d85