Searched +defs:file +defs:name (Results 1 - 6 of 6) sorted by relevance

/hets/Isabelle/export/
H A Dparser.ml190 Parse.name -- Scan.optional
380 ("attribute_setup",Parse.position Parse.name -- (* line 309 *)
384 ("method_setup",Parse.position Parse.name -- (* line 315 *)
395 Parse.position Parse.name --
410 ("oracle", Parse.position Parse.name --
492 (Parse.name || @{keyword "["} || @{keyword "("})
591 (let val p = Scan.repeat1 (Parse.name --| (* line 493 *)
626 (let val {name = (name, _), imports, uses, ...} = header
628 val _ = Present.init_theory name
935 val (name,tp) = dest_Free c var
974 val (name,tp) = dest_Const c var
1276 val file = file' |> Path.explode |> Path.expand |> var
[all...]
/hets/DMU/
H A DOntoDMU.jar ... void main (java.lang.String[]) String[] args String file String outputFile String lib String spec String myspec boolean isRightParas ...
/hets/MMT/
H A Dhets-mmt-standalone.jar ... lang.String[]) throws java.lang.Exception String name java.util.Properties properties String props java. ...
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
H A Dguava-18.0.jar ... AbstractIterator$State valueOf (java.lang.String) String name private void " href="/source/s?defs=% ...
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 70 milliseconds