Commit db3bf9a2 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

The view camera and redefine the auth camera in turns of it.

parent 5bab637b
......@@ -12,6 +12,7 @@ theories/algebra/big_op.v
theories/algebra/cmra_big_op.v
theories/algebra/sts.v
theories/algebra/numbers.v
theories/algebra/view.v
theories/algebra/auth.v
theories/algebra/gmap.v
theories/algebra/ofe.v
......
This diff is collapsed.
This diff is collapsed.
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