Searched defs:proof (Results 1 - 2 of 2) sorted by relevance

/hets/Isabelle/export/
H A Dparser.ml16 type proof = string; type
91 (Attrib.binding * string) list)) * proof
93 (Attrib.binding * string) list) * proof
98 |Subclass of opt_target * string * proof
101 |Instance of (instance_type option) * proof
105 (Element.context list * Element.statement)) * proof
108 (Element.context list * Element.statement)) * proof
111 (Element.context list * Element.statement)) * proof
115 proof
118 (Element.context list * Element.statement)) * proof
433 Parse.class -- proof >> Parse.triple1 >> Subclass), class
[all...]
/hets/CASL/Termination/
H A DAProVE.jar ... Result res long duration aprove.VerificationModules.TerminationProofs.Proof proof

Completed in 13 milliseconds