equal
deleted
inserted
replaced
85 \nocite{Rudnicki:1992:MizarOverview} |
85 \nocite{Rudnicki:1992:MizarOverview} |
86 \nocite{Trybulec:1993:MizarFeatures} |
86 \nocite{Trybulec:1993:MizarFeatures} |
87 \nocite{Syme:1997:DECLARE} |
87 \nocite{Syme:1997:DECLARE} |
88 \nocite{Syme:1998:thesis} |
88 \nocite{Syme:1998:thesis} |
89 \nocite{Syme:1999:TPHOL} |
89 \nocite{Syme:1999:TPHOL} |
|
90 \nocite{Zammit:1999:TPHOL} |
90 |
91 |
91 \include{intro} |
92 \include{intro} |
92 \include{basics} |
93 \include{basics} |
93 \include{syntax} |
94 \include{syntax} |
94 \include{pure} |
95 \include{pure} |