src/Pure/Tools/simplifier_trace.scala

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/Tools/simplifier_trace.scala	Thu Dec 12 21:28:13 2013 +0100
@@ -0,0 +1,18 @@
+/*  Title:      Pure/Tools/simplifier_trace.scala
+    Author:     Lars Hupel, TU Muenchen
+
+Interactive Simplifier trace.
+*/
+
+package isabelle
+
+
+object Simplifier_Trace
+{
+  /* PIDE protocol */
+
+  class Handler extends Session.Protocol_Handler
+  {
+    val functions = Map.empty[String, (Session.Prover, Isabelle_Process.Protocol_Output) => Boolean]
+  }
+}