From 195a7b03b0613cf889fe8c54cfd6ed644cc5f36a Mon Sep 17 00:00:00 2001
From: Dan Frumin <dan@groupoid.moe>
Date: Tue, 27 Feb 2024 11:33:10 +0100
Subject: [PATCH] rename input_lang_delim -> delim_lang

---
 _CoqProject                                                 | 6 +++---
 .../examples/{input_lang_delim => delim_lang}/example.v     | 2 +-
 theories/examples/{input_lang_delim => delim_lang}/interp.v | 2 +-
 theories/examples/{input_lang_delim => delim_lang}/lang.v   | 0
 theories/examples/{input_lang_delim => delim_lang}/logrel.v | 0
 5 files changed, 5 insertions(+), 5 deletions(-)
 rename theories/examples/{input_lang_delim => delim_lang}/example.v (97%)
 rename theories/examples/{input_lang_delim => delim_lang}/interp.v (99%)
 rename theories/examples/{input_lang_delim => delim_lang}/lang.v (100%)
 rename theories/examples/{input_lang_delim => delim_lang}/logrel.v (100%)

diff --git a/_CoqProject b/_CoqProject
index ee4ddbc..f470788 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -29,9 +29,9 @@ theories/gitree.v
 theories/program_logic.v
 
 
-theories/examples/input_lang_delim/lang.v
-theories/examples/input_lang_delim/interp.v
-theories/examples/input_lang_delim/example.v
+theories/examples/delim_lang/lang.v
+theories/examples/delim_lang/interp.v
+theories/examples/delim_lang/example.v
 
 theories/examples/input_lang_callcc/lang.v
 theories/examples/input_lang_callcc/interp.v
diff --git a/theories/examples/input_lang_delim/example.v b/theories/examples/delim_lang/example.v
similarity index 97%
rename from theories/examples/input_lang_delim/example.v
rename to theories/examples/delim_lang/example.v
index 9389c3e..60d32fc 100644
--- a/theories/examples/input_lang_delim/example.v
+++ b/theories/examples/delim_lang/example.v
@@ -1,5 +1,5 @@
 From gitrees Require Import gitree lang_generic.
-From gitrees.examples.input_lang_delim Require Import lang interp.
+From gitrees.examples.delim_lang Require Import lang interp.
 From iris.proofmode Require Import base classes tactics environments.
 From iris.base_logic Require Import algebra.
 
diff --git a/theories/examples/input_lang_delim/interp.v b/theories/examples/delim_lang/interp.v
similarity index 99%
rename from theories/examples/input_lang_delim/interp.v
rename to theories/examples/delim_lang/interp.v
index 3f0b2db..5578614 100644
--- a/theories/examples/input_lang_delim/interp.v
+++ b/theories/examples/delim_lang/interp.v
@@ -1,6 +1,6 @@
 (* From Equations Require Import Equations. *)
 From gitrees Require Import gitree lang_generic.
-From gitrees.examples.input_lang_delim Require Import lang.
+From gitrees.examples.delim_lang Require Import lang.
 From iris.algebra Require Import list.
 From iris.proofmode Require Import classes tactics.
 From iris.base_logic Require Import algebra.
diff --git a/theories/examples/input_lang_delim/lang.v b/theories/examples/delim_lang/lang.v
similarity index 100%
rename from theories/examples/input_lang_delim/lang.v
rename to theories/examples/delim_lang/lang.v
diff --git a/theories/examples/input_lang_delim/logrel.v b/theories/examples/delim_lang/logrel.v
similarity index 100%
rename from theories/examples/input_lang_delim/logrel.v
rename to theories/examples/delim_lang/logrel.v