doc-src/IsarRef/Thy/document/Spec.tex
changeset 48912 ffdb37019b2f
parent 48890 d72ca5742f80
equal deleted inserted replaced
48911:5debc3e4fa81 48912:ffdb37019b2f