Commit ddce76d7 authored by Ralf Jung's avatar Ralf Jung
Browse files

trailing newline

parent beaa69fa
......@@ -42,4 +42,4 @@ Proof.
| |- 0 < ?x => eunify x 2
end.
lia.
Qed.
\ No newline at end of file
Qed.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment