# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1400898642 -32400
# Node ID 43c56be5f7798785e0b8ed9b0af1485988025317
# Parent  37a7b8c31a0cb529015951d61e4b681b23b25761
Fix typo

diff -r 37a7b8c31a0c -r 43c56be5f779 slide.html
--- a/slide.html	Sat May 24 10:56:24 2014 +0900
+++ b/slide.html	Sat May 24 11:30:42 2014 +0900
@@ -43,7 +43,7 @@
 			<!-- === begin markdown block ===
 
       generated by markdown 1.1.1 on Ruby 2.1.2 (2014-05-08) [x86_64-darwin13.0]
-                on 2014-05-24 10:56:09 +0900 with Markdown engine kramdown (1.3.3)
+                on 2014-05-24 11:29:40 +0900 with Markdown engine kramdown (1.3.3)
                   using options {}
   -->
 
@@ -644,11 +644,7 @@
 			<!-- _S9SLIDE_ -->
 
 <ul>
-  <li>
-    <ul>
-      <li>の定義である x + (S y) = S (x + y) により変形</li>
-    </ul>
-  </li>
+  <li>_ + _ の定義である x + (S y) = S (x + y) により変形</li>
 </ul>
 
 <pre><code>  add-sym (S x) (S y) = begin
diff -r 37a7b8c31a0c -r 43c56be5f779 slide.md
--- a/slide.md	Sat May 24 10:56:24 2014 +0900
+++ b/slide.md	Sat May 24 11:30:42 2014 +0900
@@ -250,7 +250,7 @@
 
 
 # 交換法則の証明 : + の定義による変形
-* + の定義である x + (S y) = S (x + y) により変形
+* _ + _ の定義である x + (S y) = S (x + y) により変形
 
 ```
   add-sym (S x) (S y) = begin