Merge pull request aimacode#255 from Kmayankkr/AIMA3e

Update README.txt

Author: ctjoreilly

aima-gui/README.txt

@@ -45,9 +45,9 @@ JavaFX and Swing demo applications can be started directly. Here, only the Swing
 The following command line demos can be run as well:
  * java -classpath aima-gui.jar aima.gui.demo.agent.TrivialVacuumDemo
  * java -classpath aima-gui.jar aima.gui.demo.learning.LearningDemo
- * java -classpath aima-gui.jar aima.gui.demo.logic.DPLLDemo
+ * java -classpath aima-gui.jar aima.gui.demo.logic.DpllDemo
  * java -classpath aima-gui.jar aima.gui.demo.logic.FolDemo
- * java -classpath aima-gui.jar aima.gui.demo.logic.PLFCEntailsDemo
+ * java -classpath aima-gui.jar aima.gui.demo.logic.PlFcEntailsDemo
  * java -classpath aima-gui.jar aima.gui.demo.logic.PLResolutionDemo
  * java -classpath aima-gui.jar aima.gui.demo.logic.TTEntailsDemo
  * java -classpath aima-gui.jar aima.gui.demo.logic.WalkSatDemo
@@ -132,4 +132,4 @@ New features added (inspired by course TDDC17)
 0.1.0-AIMA3e Published : 10 Dec 2009 :<br>
 First full release based on the 3rd edition of AIMA. This projects contains all the GUI and command line demo 
 code separated out from the original AIMA2e source tree and has been updated to work with the 
-latest version of the aima-core library.
+latest version of the aima-core library.