- Started implementing the translation from Isabelle terms to Spider Diagrams. Very...
authorMatej Urbas <matej.urbas@gmail.com>
Wed, 18 Apr 2012 22:11:38 +0000 (23:11 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Wed, 18 Apr 2012 22:11:38 +0000 (23:11 +0100)
commitb918b86b82deec3199879fcf5b8052d4947adef1
tree7669b202882e69f372de0ca3007742672cc97154
parent31979f7c4e981098c5a24cc6b2f873612ef63690
- Started implementing the translation from Isabelle terms to Spider Diagrams. Very slowly :)
devel/IsabelleScalaWrapper/src/diabelli/isabelle/pure/lib/TermUtils.scala
devel/SpeedithIsabelle/src/speedith/diabelli/isabelle/Translations.scala