Commit 07a5a0b0 authored by jihgfee's avatar jihgfee

Closed section

parent d1e047cb
......@@ -888,3 +888,5 @@ Section proto.
(* iIntros "!>" (b) "Hc HP". iApply "HΨ". iFrame. *)
(* Qed. *)
End proto.
End with_channel.
Markdown is supported
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