Commit 20978ec0 authored by Hai Dang's avatar Hai Dang
Browse files

Minor cleanup

parent d87ccf7a
From gpfsl.base_logic Require Import history.
From gpfsl.logic Require Import atomic_cmra.
From gpfsl.logic Require Import readonly_ptsto.
From gpfsl.base_logic Require Import history. (* << for noprolG *)
From gpfsl.algebra Require Import mono_list.
From gpfsl.logic Require Import atomic_cmra.
From gpfsl.logic Require Import readonly_ptsto.
From gpfsl.examples.stack Require Import spec_graph.
From gpfsl.examples.stack Require Import proof_treiber_graph proof_elim_graph.
From gpfsl.examples.exchanger Require Import proof_graph_piggyback.
......
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