Searched refs:ref (Results 1 - 18 of 18) sorted by relevance

/hets/HolLight/OcamlTools/exportTools/
H A Dfixnames.ml18 let freeName pref ns = let free = ref ((string_to_char_list pref)@['a']) in
47 let renameClashes t = doRenames (Hashtbl.create 100) (ref (getNames t)) t
H A Doverload_loadfile.ml60 let (store_read_result,begin_load,end_load,get_libs,inject_hol_include) = let libs = ref []
61 and stack = ref (Stack.create ())
62 and known = ref (Hashtbl.create 10)
63 and hol_core_loaded = ref false
64 and bnds_size = ref 0 in
65 let _read = ref [] in
/hets/Maude/doc/
H A Ddg.tex4 described in Section \ref{sec:maude}
18 is detailed in Section \ref{sec:free}), contains the same signature but
88 As seen in Section \ref{subsec:views}, a particular case of mapping
104 the ones stated in the views, see Section \ref{subsec:adv_feat} for details:
114 As explained in the Section \ref{subsec:pmod}, parameterized modules can
158 \noindent \Hets builds the graph shown in Figure \ref{fig:dg},
250 The normalization of Maude freeness is then illustrated in Figure \ref{nf}.
258 inclusion $\iota_N$.\footnote{The arrows without labels in Figure \ref{nf}
H A Dmaude.tex163 $(\Sigma,E)$-algebra, as described in Section~\ref{mel-section}, with
304 \ref{subsec:views}).
498 Section \ref{subsec:views}. This module defines the sort \verb"MSet{X}" for
/hets/doc/
H A DUserGuideCommonLogic.tex243 CLIF syntax, and also recursively reads in any imported files (cf.\ Sect.~\ref{relationsInCL} for the syntax).
250 Sect.~\ref{relationsInCL}. Alternatively, CLIF syntax can be used
253 interpretations and other things, see Sect.~\ref{HetCASL} below.
283 Fig.~\ref{fig:lang} for a simple subset of the
287 called comorphisms) is shown in Fig.~\ref{fig:LogicGraph}, and the
288 degree of support by \Hets in Fig.~\ref{fig:Languages}.
417 in Sect.~\ref{sec:HetSpec} below.\\
602 Sect.~\ref{sec:DevGraph}) even if the individual specifications are
622 \texttt{.clf} or \texttt{.clif} & CommonLogic & custom, see Sect.~\ref{relationsInCL} \\\hline
642 embedding of \CASL into Common Logic (cf.\ Fig.~\ref{fi
[all...]
H A DUserGuide.tex179 Fig.~\ref{fig:lang} for a simple subset of the
183 called comorphisms) is shown in Fig.~\ref{fig:LogicGraph}, and the
184 degree of support by \Hets in Fig.~\ref{fig:Languages}.
412 \item[VSE] is an interactive theorem prover, see \ref{subsec:VSE}.
478 in Sect.~\ref{sec:HetSpec} below.
491 comorphisms, is shown in Fig.~\ref{fig:SublogicGraph}.
707 Sect.~\ref{sec:DevGraph}) even if the individual specifications are
775 embedding of \CASL into \HasCASL (cf.\ Fig.~\ref{fig:LogicGraph}).
957 of the specifications in the library), see Fig.~\ref{fig:dg0}.
1040 \Hets now displays a more complex development graph, see Fig.~\ref{fi
[all...]
H A Dhs2isa.tex71 The paper is organised as follows: Section~\ref{sec:semantics} discusses
74 definitions, respectively. Sect.~\ref{sec:ex} shows some example proof,
75 and Sect.~\ref{sec:conclusion} concludes the paper.
510 application (the \emph{\$\$} operator), see Sect.~\ref{sec:types}
/hets/FreeCAD/specifications/
H A Dgoals.tex43 \item[Semantics:] \freecad terms should have a semantics in the sense of 3D Pointsets (see section \ref{sec:semantics})
/hets/Isabelle/export/
H A Dparser.ml19 (* isar-ref.pdf page 78 *)
55 (Facts.ref * Args.src list) list) list) *
58 (Facts.ref * Args.src list) list) list) *
60 |Declare of (opt_target * (Facts.ref * Args.src list) list list) *
82 |Bundle of ((opt_target * binding) * (Facts.ref * Args.src list) list) *
H A Dexport_helper.ml321 (* isa-ref.pdf p. 147 *)
478 (* isar-ref.pdf p. 86 *)
707 val thmNum = Unsynchronized.ref 0
/hets/OWL2/java/lib/
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...
H A Dtrove4j-3.0.3.jarMETA-INF/ META-INF/MANIFEST.MF gnu/ gnu/trove/ gnu/trove/decorator/ gnu/trove/function/ gnu/ ...
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
/hets/GMP/papers/conditional/
H A Dentcs.cls723 \add@tok\t@loc@notes{\ref{#1}}}
/hets/GMP/papers/heterogenous/
H A Dentcs.cls723 \add@tok\t@loc@notes{\ref{#1}}}
/hets/GMP/papers/optInWork/
H A Dentcs.cls723 \add@tok\t@loc@notes{\ref{#1}}}
/hets/GMP/papers/optimizing/
H A Dentcs.cls723 \add@tok\t@loc@notes{\ref{#1}}}
/hets/CASL/Termination/
H A DAProVE.jar ... help/html/intro/ aprove/help/html/out/ aprove/help/html/ref/ aprove/help/html/tech/ aprove/help/html/tech/prolog/ aprove ...

Completed in 86 milliseconds