Searched refs:op (Results 1 - 13 of 13) sorted by relevance

/hets/CASL/doc/
H A DsimplifySenTest.tex28 op 0 : Nat
29 op 1 : Nat
30 op 1 : Pos
31 op 2 : Nat
32 op 3 : Nat
33 op 4 : Nat
34 op 5 : Nat
35 op 6 : Nat
36 op 7 : Nat
37 op
[all...]
/hets/Modal/doc/
H A DLogic_Modal_Test.tex27 op 1 : Principal
28 op P : Principal
29 op Q : Principal
30 op __&__ : Principal * Principal -> Principal
31 op __|__ : Principal * Principal -> Principal
/hets/OWL2/java/de/unibremen/informatik/
H A DOWL2Parser.java308 void add(OPTION op) throws Exception { argument
309 writer.add(new OWLOntologyWriter(op));
312 void add(OPTION op, String filename) throws Exception { argument
313 writer.add(new OWLOntologyWriter(filename, op));
340 OWLOntologyWriter(String fn, OPTION op) throws Exception { argument
342 option = op;
345 OWLOntologyWriter(OPTION op) throws Exception { argument
347 option = op;
/hets/Maude/doc/
H A Dmaude.tex80 (\texttt{subsort}); operators (\texttt{op}) for building values of these
99 op _div_ : Nat NzNat -> Nat .
108 op _div_ : [Nat] [Nat] -> [Nat] .
262 \verb"op"\; \mathit{id}_1\; \verb"to"\; \mathit{id}_2\; \verb"."
266 \verb"op"\; \mathit{id}_1\; \verb"to"\; \mathit{id}_2\; \verb"[" \mathit{atts} \verb"]"
273 \verb"op"\; \mathit{id}_1 : \mathit{arity}\; \verb"->" \; \mathit{coarity}\;
278 \verb"op"\; \mathit{id}_1 : \mathit{arity}\; \verb"->" \; \mathit{coarity}\;
328 op update : Process -> Process .
329 op finished : Process -> Bool .
340 op
[all...]
H A Ddg.tex90 terms, that has the general form $\verb"op" \; e \; \verb"to term" \; t$.
136 op _+_ : S1 S1 -> S1 [comm] . endfm
141 op _._ : S1 S1 -> S1 . endm
146 ex M1 + M2 * (sort S2 to S) . op _._ to _+_ .
177 namely \verb"op _._ to _+_ .".
246 \sigma^{op}(f)$ and this is correct because the operation symbols were
/hets/CspCASL/Grammar/
H A DCspCaslSyntax.tex189 | op ID
191 | op ID : SORT -> SORT
192 | op ID : SORT ->? SORT
/hets/doc/
H A Dcollected_proposals.tex39 op symbols in the signature of parameter specifications with their
H A Dhs2isa.tex308 "llCons == cont2lifted2 (op ###)"
544 op ### $ pX1 $ pX2 =>
557 op ### $ pX1 $ pX2 =>
578 "map1 $$ f $$ (op ### $ x $ (xs::'a llist)) =
579 op ### $ (f $$ x) $ (map1 $$ f $$ xs)"
/hets/Isabelle/export/
H A Dexport_helper.ml164 example: partition (curry op= "a") "abababab"
279 fun keyword s t = if Token.keyword_with (curry op= s) t
455 curry op=)
718 op$ (Const ("HOL.Trueprop",_), tm) => tm
728 val pd = (List.foldl op@ [] (List.map df (Context.parents_of T)))
780 case List.find (curry op= i o #1) descs of
852 (List.filter (fn (s,_) => List.exists (curry op= s) ps) locales)))
874 case List.find ((curry op= (name^"_axioms_def")) o #1) axs of
877 case List.find ((curry op= (name^"_def")) o #1) axs of
H A Dparser.ml178 fun command_with_args s = command s -- Scan.repeat not_command >> op::;
231 example: partition (curry op= "a") "abababab"
240 proof_qed (i-1) >> op@,
243 -- proof_qed (i+1) >> op@,
245 Scan.repeat not_command >> op::)
246 -- proof_qed i >> op@] t
256 [command_with_args "proof" -- proof_qed 1 >> op@,
260 command "." >> single]) >> op@
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex178 with every symbol (sort name, pred name, op name)
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 90 milliseconds