- Continuing with preparations for SD --> IsaTerms translation.
authorMatej Urbas <matej.urbas@gmail.com>
Wed, 18 Apr 2012 19:17:33 +0000 (20:17 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Wed, 18 Apr 2012 19:17:33 +0000 (20:17 +0100)
commit31979f7c4e981098c5a24cc6b2f873612ef63690
tree898eed9f3b60674f0c76447aaeb505f7d6d845a5
parenta87c0c1b3c8e105c990c6d14adabfc0302d13113
- Continuing with preparations for SD --> IsaTerms translation.
devel/IsabelleScalaWrapper/src/diabelli/isabelle/pure/lib/TermUtils.scala
devel/IsabelleScalaWrapper/src/diabelli/isabelle/pure/lib/TermYXML.scala
devel/SpeedithIsabelle/.classpath
devel/SpeedithIsabelle/.project
devel/SpeedithIsabelle/.settings/org.scala-ide.sdt.core.prefs
devel/SpeedithIsabelle/SpeedithIsabelle.jardesc [new file with mode: 0644]
devel/SpeedithIsabelle/src/speedith/diabelli/isabelle/Translations.scala
devel/Theories/Diabelli/HeterogeneousStatements.thy