doc-src/IsarRef/basics.tex
changeset 17227 398a7353ca69
parent 7981 5120a2a15d06
equal deleted inserted replaced
17226:0687c76021c0 17227:398a7353ca69