Remove unused files in k-distribution (#3928)

We identified that these files are all unused in the K frontend deep dive meeting; this PR just clears them all out. Co-authored-by: rv-jenkins <[email protected]>
runtimeverification · Jan 29, 2024 · 354daa8 · 354daa8
1 parent 72db5ce
commit 354daa8
Show file tree

Hide file tree

Showing 13 changed files with 0 additions and 2,029 deletions.
diff --git a/k-distribution/include/kframework/coq/maps.v b/k-distribution/include/kframework/coq/maps.v
diff --git a/k-distribution/include/kframework/coq/proof.v b/k-distribution/include/kframework/coq/proof.v