From 8eb27be8cd669852fc8fa0c202d6c618d6bf189c Mon Sep 17 00:00:00 2001
From: Sergey Goncharov <sergey@sergey-goncharov.org>
Date: Wed, 20 May 2026 18:06:43 +0100
Subject: [PATCH] removed non-src files

---
 ACV-abstract-2026/big-step-short.vtc | 1 -
 ACV-abstract-2026/sym-sim.cit        | 1 -
 ACV-abstract-2026/sym-sim.vtc        | 1 -
 3 files changed, 3 deletions(-)
 delete mode 100644 ACV-abstract-2026/big-step-short.vtc
 delete mode 100644 ACV-abstract-2026/sym-sim.cit
 delete mode 100644 ACV-abstract-2026/sym-sim.vtc

diff --git a/ACV-abstract-2026/big-step-short.vtc b/ACV-abstract-2026/big-step-short.vtc
deleted file mode 100644
index a32e4b3..0000000
--- a/ACV-abstract-2026/big-step-short.vtc
+++ /dev/null
@@ -1 +0,0 @@
-\contitem\title{From Abstract Higher-Order GSOS to Abstract Big-Step Semantics, Abstractly (Early Idea)}\author{Sergey Goncharov, Pouya Partow, and Stelios Tsampas}\page{:1--:3}
diff --git a/ACV-abstract-2026/sym-sim.cit b/ACV-abstract-2026/sym-sim.cit
deleted file mode 100644
index ba23611..0000000
--- a/ACV-abstract-2026/sym-sim.cit
+++ /dev/null
@@ -1 +0,0 @@
-d41d8cd98f00b204e9800998ecf8427e  -
diff --git a/ACV-abstract-2026/sym-sim.vtc b/ACV-abstract-2026/sym-sim.vtc
deleted file mode 100644
index 3722f55..0000000
--- a/ACV-abstract-2026/sym-sim.vtc
+++ /dev/null
@@ -1 +0,0 @@
-\contitem\title{Soundness and Completeness of Symmetric Relators}\author{Sergey Goncharov and Pouya Partow}\page{:1--:3}