/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Tutorial/ |
H A D | intro.tex | 108 Moscow ML version 2.01 (January 2004) 244 Moscow ML version 2.01 (January 2004)
|
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
H A D | commonTools.sml | 221 (* my own version of ELIM_TULPED_QUANT_CONV *) 232 (* my own version of pairTools.ELIM_TUPLED_QUANT_CONV that fixes the "impreciseness" (see comments in pairTools) *)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/ |
H A D | Makefile.in | 184 *) (install-info --version) >/dev/null 2>&1;; \ 354 libpolymain_la_LDFLAGS = -static -version-info 0:0
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | config.guess | 9 # the Free Software Foundation; either version 3 of the License, or 10 # (at your option) any later version. 25 # of the GNU General Public License, version 3 ("GPLv3"). 29 # You can get the latest version of this script from: 45 -v, --version print version number, then exit 49 version="\ 66 --version | -v ) 67 echo "$version" ; exit ;; 220 # kernel version informatio [all...] |
H A D | depcomp | 10 # the Free Software Foundation; either version 2, or (at your option) 11 # any later version. 35 Usage: depcomp [--help] [--version] PROGRAM [ARGS] 329 # tcc (Tiny C Compiler) understand '-MD -MF file' since version 0.9.26 330 # FIXME: That version still under development at the moment of writing.
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
H A D | CODETREE_REMOVE_REDUNDANT.sml | 7 version 2.1 of the License, or (at your option) any later version.
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
H A D | PRINT_PARSETREE.sml | 7 version 2.1 of the License, or (at your option) any later version.
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
H A D | Bitmap.sml | 7 License version 2.1 as published by the Free Software Foundation. 373 BITMAPINFOHEADER but some other version of it), the number of
|
H A D | FontBase.sml | 7 License version 2.1 as published by the Free Software Foundation.
|
H A D | GdiBase.sml | 7 License version 2.1 as published by the Free Software Foundation.
|
H A D | Region.sml | 7 License version 2.1 as published by the Free Software Foundation.
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Thy/ |
H A D | present.scala | 51 List(HTML.title(title + " (" + Distribution.version + ")")),
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | TextIO.sml | 7 License version 2.1 as published by the Free Software Foundation. 202 (* Replace the StreamIO from ImpIO by our version. *)
|
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | config.guess | 9 # the Free Software Foundation; either version 3 of the License, or 10 # (at your option) any later version. 25 # of the GNU General Public License, version 3 ("GPLv3"). 29 # You can get the latest version of this script from: 45 -v, --version print version number, then exit 49 version="\ 66 --version | -v ) 67 echo "$version" ; exit ;; 220 # kernel version informatio [all...] |
H A D | depcomp | 10 # the Free Software Foundation; either version 2, or (at your option) 11 # any later version. 35 Usage: depcomp [--help] [--version] PROGRAM [ARGS] 329 # tcc (Tiny C Compiler) understand '-MD -MF file' since version 0.9.26 330 # FIXME: That version still under development at the moment of writing.
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/ |
H A D | present.scala | 51 List(HTML.title(title + " (" + Distribution.version + ")")),
|
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
H A D | arm_stepScript.sml | 2604 (\(version,cpsr). 2605 if version < 6 /\ ~aligned(address,4) /\ ~cpsr.J /\ ~cpsr.T 3584 let align_dp opc n mode1 version rn C = 3585 if version >= 7 then (* aligned_bx result *) 3646 else (* version < 6, aligned (result,4) *) 3786 (\version. 3787 condT (version <> 6) 3793 (if version >= 7 then 3795 else (* version < 6 *) 3817 (\version [all...] |
/seL4-l4v-10.1.1/HOL4/examples/ARM_security_properties/model/ |
H A D | arm_stepScript.sml | 2605 (\(version,cpsr). 2606 if version < 6 /\ ~aligned(address,4) /\ ~cpsr.J /\ ~cpsr.T 3585 let align_dp opc n mode1 version rn C = 3586 if version >= 7 then (* aligned_bx result *) 3647 else (* version < 6, aligned (result,4) *) 3787 (\version. 3788 condT (version <> 6) 3794 (if version >= 7 then 3796 else (* version < 6 *) 3818 (\version [all...] |
/seL4-l4v-10.1.1/HOL4/examples/computability/lambda/ |
H A D | churchDBScript.sml | 638 cnsub - the computable version of nsub, which has defining equations 1051 cciDB : the encoded/computing version of ciDB 1082 ccDB : the encoded version of cDB 1298 Computable version of bnf_of, bringing us pretty well all the way to
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
H A D | rulesScript.sml | 417 (* Rules for Conditions (projective function version) *) 439 (* Rules for Stack (projective function version) *) 554 (* Rules for Conditions (vector version) *) 578 (* Rules for Stack (vector version) *)
|
/seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
H A D | Algebra.sml | 3 (* Copyright (c) 2006 Joe Hurd, distributed under the GNU GPL version 2 *)
|
H A D | Parser.sml | 3 (* Copyright (c) 2001-2006 Joe Hurd, distributed under the GNU GPL version 2 *)
|
H A D | Useful.sig | 3 (* Copyright (c) 2001-2005 Joe Hurd, distributed under the GNU GPL version 2 *)
|
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/lambek/ |
H A D | CutFreeScript.sml | 12 (* as published by the Free Software Foundation; either version 2.1 *) 13 (* of the License, or (at your option) any later version. *) 1057 (* original statements in the Coq version *) 1102 (* original statements in the Coq version *)
|
/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/mos-count/ |
H A D | clock.ml | 4 % DESCRIPTION : Defines predicates for a very simple version of %
|