doc-src/IsarRef/Thy/document/session.tex
changeset 26741 eb15fd4cd1ad
parent 26738 615e1a86787b
child 26754 c0424e4de33d
equal deleted inserted replaced
26740:6c8cd101f875 26741:eb15fd4cd1ad
       
     1 \input{intro.tex}
       
     2 
     1 %%% Local Variables:
     3 %%% Local Variables:
     2 %%% mode: latex
     4 %%% mode: latex
     3 %%% TeX-master: "root"
     5 %%% TeX-master: "root"
     4 %%% End:
     6 %%% End: