added example session with Beanshell;

--- a/lib/classes/isabelle/IsabelleDemo.java	Sat Dec 15 22:03:24 2007 +0100
+++ b/lib/classes/isabelle/IsabelleDemo.java	Sat Dec 15 22:03:46 2007 +0100
@@ -3,6 +3,19 @@
  *
  * Simple demo for IsabelleProcess wrapper.
  *
+ * Example session with Beanshell:
+ *
+ *    $ cd [ISABELLE_HOME]/lib/classes
+ *    $ javac isabelle/*.java
+ *    $ bsh
+ *    % import isabelle.*;
+ *    % isabelle = new IsabelleDemo("HOL");
+ *    % isabelle.command("theory Test imports Main begin");
+ *    % isabelle.command("lemma \"A --> A\"");
+ *    % isabelle.command("..");
+ *    % isabelle.command("end");
+ *    % isabelle.close();
+ *
  */
 
 package isabelle;