Skip to content
Snippets Groups Projects
Commit e0e844dd authored by wenzelm's avatar wenzelm
Browse files

tuned whitespace;

parent e28a7396
No related branches found
No related tags found
No related merge requests found
......@@ -2,9 +2,8 @@
session "CondNormReasHOL" = HOL +
options [timeout = 300]
theories
DDLcube
mere_addition_opt
mere_addition_lewis
mere_addition_max
......@@ -6,8 +5,7 @@
theories
DDLcube
mere_addition_opt
mere_addition_lewis
mere_addition_max
document_files
"root.bib"
......@@ -12,3 +10,3 @@
document_files
"root.bib"
"root.tex"
\ No newline at end of file
"root.tex"
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment