equal
deleted
inserted
replaced
3 \contentsline {section}{\numberline {1.2}Ending a session}{2} |
3 \contentsline {section}{\numberline {1.2}Ending a session}{2} |
4 \contentsline {section}{\numberline {1.3}Reading files of proofs and theories}{2} |
4 \contentsline {section}{\numberline {1.3}Reading files of proofs and theories}{2} |
5 \contentsline {section}{\numberline {1.4}Printing of terms and theorems}{3} |
5 \contentsline {section}{\numberline {1.4}Printing of terms and theorems}{3} |
6 \contentsline {subsection}{Printing limits}{3} |
6 \contentsline {subsection}{Printing limits}{3} |
7 \contentsline {subsection}{Printing of meta-level hypotheses}{3} |
7 \contentsline {subsection}{Printing of meta-level hypotheses}{3} |
8 \contentsline {subsection}{Printing of types and sorts}{4} |
8 \contentsline {subsection}{Printing of types and sorts}{3} |
9 \contentsline {subsection}{$\eta $-contraction before printing}{4} |
9 \contentsline {subsection}{$\eta $-contraction before printing}{4} |
10 \contentsline {section}{\numberline {1.5}Displaying exceptions as error messages}{4} |
10 \contentsline {section}{\numberline {1.5}Displaying exceptions as error messages}{4} |
11 \contentsline {section}{\numberline {1.6}Shell scripts}{5} |
11 \contentsline {section}{\numberline {1.6}Shell scripts}{5} |
12 \contentsline {chapter}{\numberline {2}Proof Management: The Subgoal Module}{6} |
12 \contentsline {chapter}{\numberline {2}Proof Management: The Subgoal Module}{6} |
13 \contentsline {section}{\numberline {2.1}Basic commands}{6} |
13 \contentsline {section}{\numberline {2.1}Basic commands}{6} |