Lines Matching refs:axioms
520 axioms for all proof goals \\\hline
850 associated with a signature and some set of local axioms. The axioms
862 postulates that all axioms of the source node (including the inherited
864 that the local axioms of the source node hold in the target node.
1211 origin of the node and the local theory i.e. axioms declared locally.
1213 \item[Show theory] Shows the theory of the node (including axioms
1214 imported from other nodes). Notice that axioms imported via hiding links
1234 consistency checkers. Other goals will be treated like axioms if ``Include
1583 proved goal the used axioms, its proof script, and its proof are shown ---
1596 the bottom lists the axioms and proven theorems that will comprise the
1845 using the property, that a conjecture under the assumption of a set of axioms is
1846 true, if the variables of axioms together with the negation of the conjecture