Commit d7497979 authored by Jonas Kastberg's avatar Jonas Kastberg

Added mapper example to _CoqProject

parent db10cfed
......@@ -33,4 +33,4 @@ theories/logrel/examples/double.v
theories/logrel/examples/pair.v
theories/logrel/examples/rec_subtyping.v
theories/logrel/examples/choice_subtyping.v
theories/logrel/examples/mapper.v
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