- Getting closer to finishing the translation from Isabelle terms to spider diagrams.
authorMatej Urbas <matej.urbas@gmail.com>
Sat, 21 Apr 2012 15:43:07 +0000 (16:43 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Sat, 21 Apr 2012 15:43:07 +0000 (16:43 +0100)
commitba7dfc2ce899770fdcc2a4534547139b74488eb4
tree2fb9131270077d108f9e25ce4cfd6e8df9f3c6a4
parent952a6bea8cf6fe3b204f5fc088186a98fc343246
- Getting closer to finishing the translation from Isabelle terms to spider diagrams.
devel/IsabelleScalaWrapper/src/diabelli/isabelle/pure/lib/TermUtils.scala
devel/IsabelleScalaWrapper/src/diabelli/isabelle/pure/lib/TermYXML.scala
devel/SpeedithIsabelle/src/speedith/diabelli/isabelle/Translations.scala
devel/Theories/Diabelli/HeterogeneousStatements.thy