Delete Lemmas.java

xsk07 · Nov 22, 2021 · ac00c7e · ac00c7e
1 parent ab1483f
commit ac00c7e
Showing 1 changed file with 0 additions and 366 deletions.
diff --git a/src/separator/Lemmas.java b/src/separator/Lemmas.java