src/Pure/Tools/simplifier_trace.scala
author wenzelm
Thu Dec 12 21:28:13 2013 +0100 (2013-12-12)
changeset 54730 de2d99b459b3
child 55316 885500f4aa6a
permissions -rw-r--r--
skeleton for Simplifier trace by Lars Hupel;
wenzelm@54730
     1
/*  Title:      Pure/Tools/simplifier_trace.scala
wenzelm@54730
     2
    Author:     Lars Hupel, TU Muenchen
wenzelm@54730
     3
wenzelm@54730
     4
Interactive Simplifier trace.
wenzelm@54730
     5
*/
wenzelm@54730
     6
wenzelm@54730
     7
package isabelle
wenzelm@54730
     8
wenzelm@54730
     9
wenzelm@54730
    10
object Simplifier_Trace
wenzelm@54730
    11
{
wenzelm@54730
    12
  /* PIDE protocol */
wenzelm@54730
    13
wenzelm@54730
    14
  class Handler extends Session.Protocol_Handler
wenzelm@54730
    15
  {
wenzelm@54730
    16
    val functions = Map.empty[String, (Session.Prover, Isabelle_Process.Protocol_Output) => Boolean]
wenzelm@54730
    17
  }
wenzelm@54730
    18
}