doc-src/IsarRef/basics.tex
changeset 13779 2a34dc5cf79e
parent 7981 5120a2a15d06
equal deleted inserted replaced
13778:61272514e3b5 13779:2a34dc5cf79e