- Slowly continuing with the translation implementation.
authorMatej Urbas <matej.urbas@gmail.com>
Thu, 19 Apr 2012 11:37:11 +0000 (12:37 +0100)
committerMatej Urbas <matej.urbas@gmail.com>
Thu, 19 Apr 2012 11:37:11 +0000 (12:37 +0100)
commitbd018c5ee37593570626cbd2a2969d24cb980411
treea338cf9f6d57681ed46508d603d6a3512a567bbf
parentb918b86b82deec3199879fcf5b8052d4947adef1
- Slowly continuing with the translation implementation.
devel/IsabelleScalaWrapper/src/diabelli/isabelle/pure/lib/TermUtils.scala
devel/SpeedithIsabelle/src/speedith/diabelli/isabelle/Translations.scala