Searched refs:version (Results 426 - 450 of 687) sorted by relevance

<<11121314151617181920>>

/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/TPTP_Parser/
H A Dtptp.yacc233 Parser for TPTP languages. Latest version of the language spec can
235 Our parser implements version 5.5.0 of that spec, except for the TPI
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DInt.sml7 License version 2.1 as published by the Free Software Foundation.
126 created. This version avoids that problem. This has also now been
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/
H A Dtptp.yacc233 Parser for TPTP languages. Latest version of the language spec can
235 Our parser implements version 5.5.0 of that spec, except for the TPI
/seL4-l4v-10.1.1/HOL4/examples/dev/
H A DinlineCompile.sml8 (* The difference between this version and the original compiler is that we *)
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/test/
H A Dtea.sml141 (* Tweaked version of Rounds induction. *)
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/model/
H A Dm0AssemblerLib.sml60 then addError "wide version not available"
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DMetafile.sml7 License version 2.1 as published by the Free Software Foundation.
H A DTransform.sml7 License version 2.1 as published by the Free Software Foundation.
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in121 *) (install-info --version) >/dev/null 2>&1;; \
/seL4-l4v-10.1.1/HOL4/src/1/
H A DTypeBase.sml363 (* Less ambitious version, which only fires if all (>1) but one row have
/seL4-l4v-10.1.1/HOL4/src/HolQbf/
H A DQDimacs.sml6 This file implements (parts of) the QDIMACS standard, version 1.1 (released
/seL4-l4v-10.1.1/HOL4/src/bool/
H A Dboolpp.sml174 (* overriding term_pp_utils's version; this one has a different type
/seL4-l4v-10.1.1/HOL4/src/enumfset/
H A DtotoTacs.sml30 plain version to suit our needs. *)
/seL4-l4v-10.1.1/HOL4/src/num/theories/
H A DwhileScript.sml106 The while rule from Hoare logic, total correctness version.
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DpatternMatchesSyntax.sig151 (* A version of making PMATCH_ROW_COND_EX that does the move to guards. *)
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DFeedback.sml21 Curried version of HOL_ERR; can be more comfortable to use.
/seL4-l4v-10.1.1/HOL4/src/quantHeuristics/
H A DquantHeuristicsLibBase.sig159 (* a stateful version and combining several*)
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Dfile_readerLib.sml41 Globals.release ^ " " ^ int_to_string Globals.version ^
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/
H A Dx86_seq_monadScript.sml104 We define a state and monads for constructing a sequential version of the semantics.
/seL4-l4v-10.1.1/HOL4/examples/ARM/experimental/
H A Dlpc_uartScript.sml124 (* read only version *)
/seL4-l4v-10.1.1/HOL4/examples/Crypto/SHA-1/
H A DSHA1Script.sml4 (* HOL version of an ML implementation by Hiro Kuwahara *)
/seL4-l4v-10.1.1/HOL4/examples/HolBdd/Examples/Solitaire/
H A DMiniTLHexSolitaireScript.sml293 (* A version of the Mini Temporal Logic with Kripke structures *)
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DctlTools.sml78 (* return totalised version of transition relation with proof, as well as appropriately modified term-bdd *)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A DMakefile.in132 *) (install-info --version) >/dev/null 2>&1;; \
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/
H A DMakefile.in131 *) (install-info --version) >/dev/null 2>&1;; \

Completed in 190 milliseconds

<<11121314151617181920>>