docs: rename proof rule subst -> cut

17d6e030 · Ralf Jung · 64c34e7e · 17d6e030
Commit 17d6e030 authored Oct 22, 2016 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

docs/base-logic.tex docs/base-logic.tex +1 -1

No files found.
--- a/docs/base-logic.tex
+++ b/docs/base-logic.tex
@@ -203,7 +203,7 @@ This is entirely standard.
  {}
  {\prop \proves \prop}
 \and
-\infer[Subst]
+\infer[Cut]
  {\prop \proves \propB \and \propB \proves \propC}
  {\prop \proves \propC}
 \and