Skip to content
Snippets Groups Projects
Commit c2556bbe authored by Ralf Jung's avatar Ralf Jung
Browse files

fix imports

parent 0d2b923c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
theories/base_logic/algebra.v
+ 2
− 2
View file @ c2556bbe
From iris.algebra Require Import cmra view auth agree csum list excl gmap lib.excl_auth lib.gmap_view.
From iris.proofmode Require Import tactics.
From iris.algebra Require Import cmra view auth agree csum list excl gmap.
From iris.algebra.lib Require Import excl_auth gmap_view.
From iris.base_logic Require Import bi derived.
From iris Require Import options.
......
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