Searched defs:fail (Results 1 - 2 of 2) sorted by relevance
| /hets/Isabelle/export/ | ||
| H A D | export_helper.ml | 24 val fail : ('a, 'b) p -> ('c, 'd) p; var in function:>>/>>>/>>= 109 fun fail (_ : ('a, 'b) p) = Failed "Always fails!"; 139 until one succeeds or fail if all parsers fail *) 425 parse_mixfix fail #> pack) 514 e (keyword "::") #> parse_arity fail 524 |> liftP) #> proof fail #> pack 531 |> liftP) #> proof fail #> pack 540 #> p str_ #> optional (parse_mixfix fail) 581 #> many (oneOf (parse_theory_body fail fai [all...] |
| /hets/CASL/Termination/ | ||
| H A D | AProVE.jar | META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ... |
Completed in 14 milliseconds