6594745b13eb414ff7bbb769aad091e4dc27b126 <meta_info>
4096c270f108202b775b0ee3f7ce2c5dc2f85e1f env:ISABELLE_SCALA_JAR
a3c8ac6e57ae00cb00c320d815f47d98b71b7332 src/demo_tool.scala
