Searched refs:logic (Results 1 - 25 of 240) sorted by last modified time
12345678910
| /seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
| H A D | theories_dockable.scala | 90 private val logic = JEdit_Sessions.logic_selector(PIDE.options, true)
93 Wrap_Panel(List(purge, continuous_checking, session_phase, logic))
263 logic.load ()
|
| H A D | jedit_sessions.scala | 33 /* raw logic info */
60 /* logic selector */
89 val logic = options.string(jedit_logic_option)
90 entries.find(_.name == logic) match {
135 logic = PIDE.resources.session_name,
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
| H A D | theories_dockable.scala | 90 private val logic = JEdit_Sessions.logic_selector(PIDE.options, true)
93 Wrap_Panel(List(purge, continuous_checking, session_phase, logic))
263 logic.load ()
|
| H A D | jedit_sessions.scala | 33 /* raw logic info */
60 /* logic selector */
89 val logic = options.string(jedit_logic_option)
90 entries.find(_.name == logic) match {
135 logic = PIDE.resources.session_name,
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/ |
| H A D | server.scala | 40 var logic = default_logic
56 -l NAME logic session name (default ISABELLE_LOGIC=""" + quote(default_logic) + """)
66 "R:" -> (arg => { logic = arg; logic_requirements = true }),
67 "S:" -> (arg => { logic = arg; logic_requirements = true; logic_focus = true }),
70 "l:" -> (arg => logic = arg),
82 new Server(channel, options, session_name = logic, session_dirs = dirs,
331 sessions_structure = Some(base_info.sessions_structure), logic = base_info.session)
|
| H A D | grammar.scala | 19 def default_output(logic: String = ""): String =
20 if (logic == "" || logic == default_logic) "isabelle-grammar.json"
21 else "isabelle-" + logic + "-grammar.json"
140 var logic = default_logic
148 -l NAME logic session name (default ISABELLE_LOGIC=""" + quote(default_logic) + """)
154 "l:" -> (arg => logic = arg),
161 Sessions.base_info(Options.init(), logic, dirs = dirs).check_base.overall_syntax.keywords
162 val output_path = output getOrElse Path.explode(default_output(logic))
|
| H A D | build_vscode.scala | 22 val logic = Grammar.default_logic
23 val keywords = Sessions.base_info(options, logic).check_base.overall_syntax.keywords
25 val output_path = extension_dir + Path.explode(Grammar.default_output(logic))
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/ |
| H A D | server.scala | 40 var logic = default_logic
56 -l NAME logic session name (default ISABELLE_LOGIC=""" + quote(default_logic) + """)
66 "R:" -> (arg => { logic = arg; logic_requirements = true }),
67 "S:" -> (arg => { logic = arg; logic_requirements = true; logic_focus = true }),
70 "l:" -> (arg => logic = arg),
82 new Server(channel, options, session_name = logic, session_dirs = dirs,
331 sessions_structure = Some(base_info.sessions_structure), logic = base_info.session)
|
| H A D | grammar.scala | 19 def default_output(logic: String = ""): String =
20 if (logic == "" || logic == default_logic) "isabelle-grammar.json"
21 else "isabelle-" + logic + "-grammar.json"
140 var logic = default_logic
148 -l NAME logic session name (default ISABELLE_LOGIC=""" + quote(default_logic) + """)
154 "l:" -> (arg => logic = arg),
161 Sessions.base_info(Options.init(), logic, dirs = dirs).check_base.overall_syntax.keywords
162 val output_path = output getOrElse Path.explode(default_output(logic))
|
| H A D | build_vscode.scala | 22 val logic = Grammar.default_logic
23 val keywords = Sessions.base_info(options, logic).check_base.overall_syntax.keywords
25 val output_path = extension_dir + Path.explode(Grammar.default_output(logic))
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | problems.sml | 331 (* Predicate logic without functions. *)
417 (* Full predicate logic. *)
|
| H A D | Thm.sig | 10 (* An abstract type of first order logic theorems. *)
|
| H A D | Thm.sml | 12 (* An abstract type of first order logic theorems. *)
|
| H A D | Term.sig | 10 (* A type of first order logic terms. *)
|
| H A D | Term.sml | 12 (* A type of first order logic terms. *)
|
| H A D | Subst.sig | 10 (* A type of first order logic substitutions. *)
50 (* Applying a substitution to a first order logic term. *)
108 (* Matching for first order logic terms. *)
114 (* Unification for first order logic terms. *)
|
| H A D | Subst.sml | 12 (* A type of first order logic substitutions. *)
64 (* Applying a substitution to a first order logic term. *)
197 (* Matching for first order logic terms. *)
223 (* Unification for first order logic terms. *)
|
| H A D | Proof.sml | 12 (* A type of first order logic proofs. *)
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | problems.sml | 331 (* Predicate logic without functions. *)
417 (* Full predicate logic. *)
|
| H A D | Thm.sig | 10 (* An abstract type of first order logic theorems. *)
|
| H A D | Thm.sml | 12 (* An abstract type of first order logic theorems. *)
|
| H A D | Term.sig | 10 (* A type of first order logic terms. *)
|
| H A D | Term.sml | 12 (* A type of first order logic terms. *)
|
| H A D | Subst.sig | 10 (* A type of first order logic substitutions. *)
50 (* Applying a substitution to a first order logic term. *)
108 (* Matching for first order logic terms. *)
114 (* Unification for first order logic terms. *)
|
| H A D | Subst.sml | 12 (* A type of first order logic substitutions. *)
64 (* Applying a substitution to a first order logic term. *)
197 (* Matching for first order logic terms. *)
223 (* Unification for first order logic terms. *)
|
Completed in 87 milliseconds
12345678910