Searched refs:sessions (Results 51 - 75 of 85) sorted by relevance
1234
| /seL4-l4v-master/isabelle/src/Doc/ |
| H A D | preface.tex | 72 present on-line sessions of increasing difficulty. It also explains how
|
| /seL4-l4v-master/l4v/isabelle/src/Doc/ |
| H A D | preface.tex | 72 present on-line sessions of increasing difficulty. It also explains how
|
| /seL4-l4v-master/HOL4/src/quotient/examples/ |
| H A D | finite_setScript.sml | 17 (* In interactive sessions, do:
|
| /seL4-l4v-master/HOL4/src/quotient/examples/lambda/ |
| H A D | termScript.sml | 20 (* In interactive sessions, do:
|
| H A D | etaScript.sml | 10 (* In interactive sessions, do:
|
| H A D | betaScript.sml | 10 (* In interactive sessions, do:
|
| H A D | liftScript.sml | 13 (* In interactive sessions, do:
|
| /seL4-l4v-master/HOL4/src/quotient/examples/sigma/ |
| H A D | objectScript.sml | 16 (* In interactive sessions, do:
|
| /seL4-l4v-master/HOL4/examples/acl2/ml/ |
| H A D | sexpScript.sml | 23 (* The commented out stuff below should be loaded in interactive sessions
|
| H A D | translateScript.sml | 10 (* Load files for interactive sessions *)
|
| /seL4-l4v-master/HOL4/Manual/Description/ |
| H A D | misc.tex | 124 interacting with HOL, perhaps over many sessions. In `system rebuild'
268 \item Construct theory script, perhaps over many sessions;
293 (If successful such a build will enable other script-files to refer to that theory, and for interactive sessions to issue \ml{load~"xTheory";} commands.)
786 Poly/ML has a nice facility whereby the state of one of its interactive sessions can be stored on disk and then reloaded.
|
| H A D | HolBdd.tex | 266 \subsection{Initialisation, termination and tuning sessions}\label{init}\index{HolBddLib!session!initialisation}\index{HolBddLib!session!termination}
|
| /seL4-l4v-master/HOL4/Manual/Tutorial/ |
| H A D | logic.tex | 1070 so that they can be used in subsequent sessions.
1091 Its use is demonstrated below in some of the example sessions, and in Chapter~\ref{chap:euclid}.
|
| /seL4-l4v-master/HOL4/src/experimental-kernel/ |
| H A D | Term.sml | 823 * sessions. *
|
| /seL4-l4v-master/HOL4/examples/acl2/examples/M1/ |
| H A D | sexpScript.sml | 23 (* The commented out stuff below should be loaded in interactive sessions
|
| H A D | sexp.sml | 22 (* The commented out stuff below should be loaded in interactive sessions
|
| /seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
| H A D | sexpScript.sml | 23 (* The commented out stuff below should be loaded in interactive sessions
|
| H A D | sexp.sml | 22 (* The commented out stuff below should be loaded in interactive sessions
|
| /seL4-l4v-master/HOL4/src/0/ |
| H A D | Term.sml | 336 * sessions. *
|
| /seL4-l4v-master/HOL4/Manual/Translations/IT/Description/ |
| H A D | misc.tex | 126 interacting with HOL, perhaps over many sessions. In `system rebuild'
238 \item Construct theory script, perhaps over many sessions;
710 Poly/ML has a nice facility whereby the state of one of its interactive sessions can be stored on disk and then reloaded.
|
| H A D | HolBdd.tex | 266 \subsection{Initialisation, termination and tuning sessions}\label{init}\index{HolBddLib!session!initialisation}\index{HolBddLib!session!termination}
|
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | parse_term.sml | 1710 in raw MoscowML sessions
|
| /seL4-l4v-master/HOL4/src/quotient/src/ |
| H A D | quotient.sml | 38 (* In interactive sessions, do:
68 (* In interactive sessions, omit the chatting section below. *)
|
| /seL4-l4v-master/HOL4/Manual/Guide/ |
| H A D | guide.tex | 1018 sessions, but if that is impractical, then give a slightly higher-level
|
| /seL4-l4v-master/HOL4/examples/HolCheck/ |
| H A D | muScript.sml | 3 (* Useful in interactive sessions:
|
Completed in 234 milliseconds
1234