Merge branch 'master' of logicalhacking.com:HOL-OCL/Isabelle_DOF
This commit is contained in:
commit
d3ae88ed10
|
@ -10,7 +10,7 @@ doc_class title =
|
||||||
doc_class author =
|
doc_class author =
|
||||||
email :: "string" <= "''''"
|
email :: "string" <= "''''"
|
||||||
|
|
||||||
datatype classification = algebra | geometry | graph_theory
|
datatype classification = algebra | geometry | topology
|
||||||
|
|
||||||
doc_class abstract =
|
doc_class abstract =
|
||||||
keyword_list :: "classification list" <= "[]"
|
keyword_list :: "classification list" <= "[]"
|
||||||
|
|
Loading…
Reference in New Issue