Update README.md

README.md

@@ -45,6 +45,7 @@ Prev Command 1: (PROPAX)
 Prev Command 2: (HIDE 2)
 Prev Command 3: (EXPAND "^")
 Next Command:
+
 ```
 
 ```
@@ -60,6 +61,7 @@ Prev Command 1: (ASSERT)
 Prev Command 2: (EXPAND "derivable?" -4)
 Prev Command 3: (EXPAND "derivable?" -5)
 Next Command:
+
 ```
 
 ```
@@ -70,6 +72,7 @@ Prev Command 1: (ASSERT)
 Prev Command 2: (ASSERT)
 Prev Command 3: (HIDE 2)
 Next Command:
+
 ```
 
 
@@ -83,6 +86,7 @@ Prev Command 1: (SKEEP)
 Prev Command 2: (CASE "a <= pi/2")
 Prev Command 3: (LEMMA "sin_pos_0tohalfpi")
 Next Command:
+
 ```
 
 ```
@@ -94,7 +98,9 @@ Prev Command 1: (EXPAND "empty?")
 Prev Command 2: (EXPAND "member")
 Prev Command 3: (GROUND)
 Next Command:
+
 ```
+( Note:  there is a  newline after Next Command: )