From ecceb7f4f3cfb1763b0808421be33e8c845f0176 Mon Sep 17 00:00:00 2001
From: Seasawher <tellagoodstory@icloud.com>
Date: Sun, 24 Nov 2024 18:18:21 +0900
Subject: [PATCH] =?UTF-8?q?plausible=E3=81=AE=E8=A6=8B=E5=87=BA=E3=81=97?=
 =?UTF-8?q?=E4=B8=8A=E3=81=AE=E4=BD=8D=E7=BD=AE=E3=81=8C=E3=81=8A=E3=81=8B?=
 =?UTF-8?q?=E3=81=97=E3=81=84=20Fixes=20#1153?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 booksrc/SUMMARY.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/booksrc/SUMMARY.md b/booksrc/SUMMARY.md
index 421b4d2..9bd926d 100644
--- a/booksrc/SUMMARY.md
+++ b/booksrc/SUMMARY.md
@@ -164,6 +164,7 @@
   - [nth_rw: n 番目の項だけ rw](./Reference/Tactic/NthRw.md)
   - [obtain: 分解して取り出す](./Reference/Tactic/Obtain.md)
   - [omega: 自然数の線形計画を解く](./Reference/Tactic/Omega.md)
+  - [plausible: 反例を見つける](./Reference/Tactic/Plausible.md)
   - [positivity: 正値性を示す](./Reference/Tactic/Positivity.md)
   - [push_neg: ドモルガン](./Reference/Tactic/PushNeg.md)
   - [qify: 有理数にキャストする](./Reference/Tactic/Qify.md)
@@ -183,7 +184,6 @@
   - [show: 示すべきことを宣言](./Reference/Tactic/Show.md)
   - [simp_all: 仮定とゴールを全て単純化](./Reference/Tactic/SimpAll.md)
   - [simp: 単純化](./Reference/Tactic/Simp.md)
-  - [plausible: 反例を見つける](./Reference/Tactic/Plausible.md)
   - [sorry: 証明したことにする](./Reference/Tactic/Sorry.md)
   - [split: if/match 式を分解](./Reference/Tactic/Split.md)
   - [suffices: 十分条件に帰着](./Reference/Tactic/Suffices.md)