doc-src/IsarRef/basics.tex
changeset 14333 14f29eb097a3
parent 7981 5120a2a15d06
equal deleted inserted replaced
14332:fd3535af90ab 14333:14f29eb097a3