forked from Isabelle_DOF/Isabelle_DOF
and
This commit is contained in:
parent
50ff554d53
commit
df0f45815f
|
@ -77,10 +77,6 @@ text{* @{cite bla} *}
|
||||||
doc_class article =
|
doc_class article =
|
||||||
style_id :: string <= "''LNCS''"
|
style_id :: string <= "''LNCS''"
|
||||||
version :: "(int \<times> int \<times> int)" <= "(0,0,0)"
|
version :: "(int \<times> int \<times> int)" <= "(0,0,0)"
|
||||||
(* trace :: "(title + subtitle + author+ abstract +
|
|
||||||
introduction + technical + example +
|
|
||||||
conclusion + bibliography) list"
|
|
||||||
*)
|
|
||||||
where "(title ~~
|
where "(title ~~
|
||||||
\<lbrakk>subtitle\<rbrakk> ~~
|
\<lbrakk>subtitle\<rbrakk> ~~
|
||||||
\<lbrace>author\<rbrace>\<^sup>+ ~~
|
\<lbrace>author\<rbrace>\<^sup>+ ~~
|
||||||
|
|
Loading…
Reference in New Issue