Searched refs:version (Results 376 - 400 of 687) sorted by relevance

<<11121314151617181920>>

/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DResource.sml7 License version 2.1 as published by the Free Software Foundation.
H A DScrollbar.sml7 License version 2.1 as published by the Free Software Foundation.
H A DWinBase.sml7 License version 2.1 as published by the Free Software Foundation.
H A DClass.sml7 License version 2.1 as published by the Free Software Foundation.
H A DColor.sml7 License version 2.1 as published by the Free Software Foundation.
/seL4-l4v-10.1.1/HOL4/src/1/
H A DboolLib.sml64 (* Alternative version of unique existence, slated for boolTheory. *)
/seL4-l4v-10.1.1/HOL4/src/bag/
H A DcontainerScript.sml104 (* version with the equation the "rewrite" way round *)
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DintSimps.sml88 (* Formerly the following underpowered version was used:
/seL4-l4v-10.1.1/HOL4/src/num/extra_theories/
H A DdividesScript.sml339 (* Directly computable version of divides *)
/seL4-l4v-10.1.1/HOL4/src/quantHeuristics/
H A DquantHeuristicsLibAbbrev.sml198 The general version allows to specify that it needs to occur at least n times as well. *)
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/
H A Dext_finite_setScript.sml293 is done in the finite_set version of this example.
/seL4-l4v-10.1.1/HOL4/tools-poly/
H A Dsmart-configure.sml16 die "Must be running PolyML with version >= 5.5.1\n"
/seL4-l4v-10.1.1/HOL4/examples/lambda/typing/
H A DsttVariantsScript.sml7 (* prove a cofinite version of the induction principle *)
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/ppc/
H A Dppc_seq_monadScript.sml30 We define a state and monads for constructing a sequential version of the semantics.
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/
H A Darm_emitScript.sml4 (* Use EmitML to generate an SML version of the ARM model *)
/seL4-l4v-10.1.1/HOL4/examples/Crypto/TEA/
H A DteaScript.sml160 (* Tweaked version of Rounds induction is more useful for this proof. *)
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DBackendIntermediateCodeSig.sml6 License version 2.1 as published by the Free Software Foundation.
H A DBaseCodeTreeSig.sml9 License version 2.1 as published by the Free Software Foundation.
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ByteCode/
H A DINTCODECONSSIG.sml6 License version 2.1 as published by the Free Software Foundation.
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DX86CODESIG.sml6 License version 2.1 as published by the Free Software Foundation.
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DPARSETREESIG.sml10 License version 2.1 as published by the Free Software Foundation.
H A DSTRUCTVALSIG.sml9 License version 2.1 as published by the Free Software Foundation.
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A Dproblems.sml554 ["The classic Los puzzle. (Clausal version MSC006-1 in the TPTP library.)",
746 comments = ["An equality version of the Agatha puzzle. [JRH]"],
907 "The Isabelle version of metis diverges on this goal"],
916 "The Isabelle version of metis diverges on this goal"],
/seL4-l4v-10.1.1/l4v/camkes/adl-spec/document/
H A Droot.tex5 % the GNU General Public License version 2. Note that NO WARRANTY is provided.
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/document/
H A Droot.tex5 % the GNU General Public License version 2. Note that NO WARRANTY is provided.

Completed in 211 milliseconds

<<11121314151617181920>>