forked from Isabelle_DOF/Isabelle_DOF
More on the small_math example used in the paper.
This commit is contained in:
parent
94ade38d60
commit
ffa44353f9
|
@ -10,7 +10,7 @@ doc_class title =
|
|||
doc_class author =
|
||||
email :: "string" <= "''''"
|
||||
|
||||
datatype classification = algebra | geometry | graph_theory
|
||||
datatype classification = algebra | geometry | topology
|
||||
|
||||
doc_class abstract =
|
||||
keyword_list :: "classification list" <= "[]"
|
||||
|
|
Reference in New Issue