rename input_lang_delim -> delim_lang

logsem · Feb 27, 2024 · 195a7b0 · 195a7b0
1 parent 426db0a
commit 195a7b0
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git 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 → theories/examples/delim_lang/example.v b/theories/examples/input_lang_delim/example.v → 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 → theories/examples/delim_lang/interp.v b/theories/examples/input_lang_delim/interp.v → 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 → theories/examples/delim_lang/lang.v b/theories/examples/input_lang_delim/lang.v → theories/examples/delim_lang/lang.v
diff --git a/theories/examples/input_lang_delim/logrel.v → theories/examples/delim_lang/logrel.v b/theories/examples/input_lang_delim/logrel.v → theories/examples/delim_lang/logrel.v