pushup.
This commit is contained in:
parent
d655effcf8
commit
bea648530b
|
@ -1,8 +1,6 @@
|
||||||
%% This is a placeholder for user-specific configuration and packages.
|
%% This is a placeholder for user-specific configuration and packages.
|
||||||
|
|
||||||
\usepackage{stmaryrd}
|
\usepackage{stmaryrd}
|
||||||
\newcommand{\ie}{i.e.}
|
|
||||||
\newcommand{\eg}{e.g.}
|
|
||||||
|
|
||||||
\title{<TITLE>}
|
\title{<TITLE>}
|
||||||
\author{<AUTHOR>}
|
\author{<AUTHOR>}
|
||||||
|
|
|
@ -9,11 +9,7 @@ open_monitor*[this::article]
|
||||||
|
|
||||||
declare[[strict_monitor_checking = false]]
|
declare[[strict_monitor_checking = false]]
|
||||||
|
|
||||||
setup \<open> DOF_lib.define_shortcut \<^binding>\<open>eg\<close> "\\eg"
|
setup \<open> DOF_lib.define_shortcut \<^binding>\<open>csp\<close> "CSP"
|
||||||
(* Latin: „exempli gratia“ meaning „for example“. *)
|
|
||||||
#> DOF_lib.define_shortcut \<^binding>\<open>ie\<close> "\\ie"
|
|
||||||
(* Latin: „id est“ meaning „that is to say“. *)
|
|
||||||
#> DOF_lib.define_shortcut \<^binding>\<open>csp\<close> "CSP"
|
|
||||||
#> DOF_lib.define_shortcut \<^binding>\<open>isabelle\<close> "Isabelle/HOL"\<close>
|
#> DOF_lib.define_shortcut \<^binding>\<open>isabelle\<close> "Isabelle/HOL"\<close>
|
||||||
|
|
||||||
(*>*)
|
(*>*)
|
||||||
|
|
|
@ -16,11 +16,7 @@ theory TR_MyCommentedIsabelle
|
||||||
imports "Isabelle_DOF.technical_report"
|
imports "Isabelle_DOF.technical_report"
|
||||||
begin
|
begin
|
||||||
|
|
||||||
setup \<open> DOF_lib.define_shortcut \<^binding>\<open>eg\<close> "\\eg"
|
setup \<open> DOF_lib.define_shortcut \<^binding>\<open>csp\<close> "CSP"
|
||||||
(* Latin: „exempli gratia“ meaning „for example“. *)
|
|
||||||
#> DOF_lib.define_shortcut \<^binding>\<open>ie\<close> "\\ie"
|
|
||||||
(* Latin: „id est“ meaning „that is to say“. *)
|
|
||||||
#> DOF_lib.define_shortcut \<^binding>\<open>csp\<close> "CSP"
|
|
||||||
#> DOF_lib.define_shortcut \<^binding>\<open>isabelle\<close> "Isabelle/HOL"\<close>
|
#> DOF_lib.define_shortcut \<^binding>\<open>isabelle\<close> "Isabelle/HOL"\<close>
|
||||||
|
|
||||||
open_monitor*[this::report]
|
open_monitor*[this::report]
|
||||||
|
|
|
@ -16,6 +16,4 @@
|
||||||
\usepackage{prooftree}
|
\usepackage{prooftree}
|
||||||
\title{<TITLE>}
|
\title{<TITLE>}
|
||||||
\author{<AUTHOR>}
|
\author{<AUTHOR>}
|
||||||
\newcommand{\eg}{e.\,g.}
|
|
||||||
\newcommand{\ie}{i.\,e.}
|
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue