Commit 73df76f7 authored by Hai Dang's avatar Hai Dang
Browse files

minor cleanup

parent 2749e5ef
......@@ -4,9 +4,6 @@ From iris.proofmode Require Import proofmode.
From gpfsl.base_logic Require Import vprop history.
From gpfsl.base_logic Require Import iwp.
From gpfsl.base_logic Require Import weakestpre base_lifting na.
From gpfsl.base_logic Require Import frame_instances.
From gpfsl.logic Require Import relacq.
From gpfsl.lang Require Import notation.
......
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