Remove old documentation for tactics that don't exist anymore.

HOL-Theorem-Prover · Sep 1, 2014 · 3cb9b29 · 3cb9b29
1 parent fb33af7
commit 3cb9b29
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 331 deletions.
diff --git a/src/utils/help/ASSUM_LIST_TAC.doc b/src/utils/help/ASSUM_LIST_TAC.doc
diff --git a/src/utils/help/MP_IMP_TAC.doc b/src/utils/help/MP_IMP_TAC.doc
diff --git a/src/utils/help/NEW_SUBST1_TAC.doc b/src/utils/help/NEW_SUBST1_TAC.doc
diff --git a/src/utils/help/REV_SUPPOSE_TAC.doc b/src/utils/help/REV_SUPPOSE_TAC.doc
diff --git a/src/utils/help/SUBST_MATCH_TAC.doc b/src/utils/help/SUBST_MATCH_TAC.doc
diff --git a/src/utils/help/SUPPOSE_TAC.doc b/src/utils/help/SUPPOSE_TAC.doc