From 1479178dcb4ecd538f43013d2295c5f07f39aea4 Mon Sep 17 00:00:00 2001
From: jihgfee <jihgfee@gmail.com>
Date: Fri, 5 Jun 2020 13:32:24 +0200
Subject: [PATCH] Added subtyping example to _CoqProject

---
 _CoqProject | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/_CoqProject b/_CoqProject
index 6b5dd96..014c3c8 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -31,3 +31,5 @@ theories/logrel/term_typing_rules.v
 theories/logrel/lib/mutex.v
 theories/logrel/examples/double.v
 theories/logrel/examples/pair.v
+theories/logrel/examples/subtyping.v
+
-- 
GitLab