Searched refs:op (Results 1 - 13 of 13) sorted by relevance
/hets/CASL/doc/ |
H A D | simplifySenTest.tex | 28 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 D | Logic_Modal_Test.tex | 27 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 D | OWL2Parser.java | 308 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 D | maude.tex | 80 (\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 D | dg.tex | 90 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 D | CspCaslSyntax.tex | 189 | op ID 191 | op ID : SORT -> SORT 192 | op ID : SORT ->? SORT
|
/hets/doc/ |
H A D | collected_proposals.tex | 39 op symbols in the signature of parameter specifications with their
|
H A D | hs2isa.tex | 308 "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 D | export_helper.ml | 164 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 D | parser.ml | 178 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 D | owlapi-osgidistribution-3.5.2.jar | META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ... |
/hets/CASL_DL/doc/ |
H A D | CASL_DL-Notes.tex | 178 with every symbol (sort name, pred name, op name)
|
/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 146 milliseconds