move seminaive-semantics.tex to seminaive/semantics.tex

rntz · Nov 7, 2018 · 93fecfa · 93fecfa
1 parent 2edca71
commit 93fecfa
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/seminaive/seminaive-semantics.tex → seminaive/semantics.tex b/seminaive/seminaive-semantics.tex → seminaive/semantics.tex