Comments in tests/ipm_paper.

a181837b · Robbert Krebbers · 9f126450 · a181837b
Commit a181837b authored Jun 01, 2018 by Robbert Krebbers
--- a/tests/ipm_paper.v
+++ b/tests/ipm_paper.v
+(** This file contains the examples from the paper:
+
+Interactive Proofs in Higher-Order Concurrent Separation Logic
+Robbert Krebbers, Amin Timany and Lars Birkedal
+POPL 2017 *)
 From iris.base_logic Require Import base_logic.
 From iris.proofmode Require Import tactics.
 From iris.program_logic Require Export hoare.