diff options
Diffstat (limited to 'coq/example.v')
-rw-r--r-- | coq/example.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/coq/example.v b/coq/example.v index 619072c2..4fb38af6 100644 --- a/coq/example.v +++ b/coq/example.v @@ -11,3 +11,5 @@ Apply conj. Assumption. Assumption. Save and_comms. + + |