(*  Title:  create a heap image for isac on Isabelle2013

     Author: Walther Neuper, TU Graz, 130715

    (c) due to copyright terms

 $ cd /usr/local/isabisac/

 $ ./bin/isabelle build -d src/Tools/isac/ -v -b Isac

 *)

 session Isac in "~~/src/Tools/isac" = HOL +

   description {*

     Isac core, prototype of a math-engine and knowledge 

     for a TP-based educational mathematics assistant.

     The java front-end is under development at TU Graz,

     the PolyML math-engine and Isabelle knowledge at RISC Linz.

     See http://www.ist.tugraz.at/isac/.

   *}

   options [document = false]

   theories Build_Isac