equal
deleted
inserted
replaced
71 "intro.tex" |
71 "intro.tex" |
72 "mathpartir.sty" |
72 "mathpartir.sty" |
73 "root.tex" |
73 "root.tex" |
74 "style.sty" |
74 "style.sty" |
75 |
75 |
76 session How_to_Prove_it (doc) in "How_to_Prove_it" = HOL + |
76 session How_to_Prove_it (* FIXME (doc) *) in "How_to_Prove_it" = HOL + |
77 options [document_variants = "how_to_prove_it", show_question_marks = false] |
77 options [document_variants = "how_to_prove_it", show_question_marks = false] |
78 theories |
78 theories |
79 How_to_Prove_it |
79 How_to_Prove_it |
80 document_files |
80 document_files |
81 "root.tex" |
81 "root.tex" |