diff --git a/courseA/IM_Alloy.html b/courseA/IM_Alloy.html
index fff42ac..c39fa49 100644
--- a/courseA/IM_Alloy.html
+++ b/courseA/IM_Alloy.html
@@ -26,9 +26,9 @@
 <h2>InventoryManagement の Alloy による仕様記述についての説明</h2>
 <h3><code><c1>sig</c1></code>:</h3>
 <p>
-	Alloy では，商品id の集合を <code>ItemId</code> ，商品名の集合を <code>Name</code> ，
-	商品全体を保管する倉庫の集合を <code>Inventory</code> ，商品の集合を <code>Item</code> で表します．<br>
-	以下のモデルでは <code><c1>sig</c1></code> を用いて，<code>ItemId</code> ，<code>Name</code> ，<code>Inventory</code> ，<code>Item</code> の順番にこれらの集合を宣言しています．<br>
+	Alloy では，商品id の集合を <code>ItemId</code>，商品名の集合を <code>Name</code>，
+	商品全体を保管する倉庫の集合を <code>Inventory</code>，商品の集合を <code>Item</code> で表します．<br>
+	以下のモデルでは <code><c1>sig</c1></code> を用いて，<code>ItemId</code>，<code>Name</code>，<code>Inventory</code>，<code>Item</code> の順番にこれらの集合を宣言しています．<br>
 	<code>Inventory</code> には，<code>ItemId</code> から <code>Item</code> への対応関係が <code>itemDB</code> フィールドとして定義されています．<br>
 	ここで，<code>ItemId</code> の右側の <code><c1>lone</c1></code> は１つの <code>Item</code> に対応する <code>ItemId</code> がたかだか１つしかないことを示しています．<br>
 	<code>Item</code> の宣言では，商品名を表す <code>name</code> が <code>Name</code> のインスタンスとして，
@@ -134,7 +134,7 @@
 	まだ何の商品(Item)も登録されていない状態になっています．<br>
 	次に，1番上の段の左にある Inventory1($execute_its') は変数 <code>its'</code> で参照される <code>Inventory</code> のインスタンスで，
 	<code>its</code> で参照される <code>Inventory</code> のインスタンスに対して，<code>Item</code> のインスタンス Item1(itemRegistration_it) を初期数量100個で登録したインスタンスになっています．<br>
-	Inventory1 の右にあるInventory0($execute_its'')は少し複雑です．<br>
+	Inventory1 の右にあるInventory0($execute_its'') は少し複雑です．<br>
 	まず，Inventory1 において，<code>ItemId</code> で参照される Item のインスタンスは Item1 です．このインスタンスに対して50個出荷した後の <code>Item</code> のインスタンスが Item0 になります．<br>
 	ここで Item0 の在庫数が50個に減少していることに注意して下さい．<br>
 	<code>ItemId</code> で参照される <code>Item</code> のインスタンスが Item1 から Item0 に変わるので，<code>Inventory</code> のインスタンスも Inventory1 から Inventory0 に変わります．