Readded MyUtils.v

metaborg · Apr 12, 2021 · 09f94eb · 09f94eb
1 parent b767510
commit 09f94eb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/MyUtils.v b/MyUtils.v
@@ -0,0 +1 @@
+Ltac inv H := inversion H; clear H; subst.