Up to date for Isabelle 2018. Gave names to simp rules in UF and UTM
The packages can be compiled with
scalac lib.scala turing.scala abacus.scala recs2.scala comp1.scala comp2.scala
If you get an error, it is advisable to clean
out the existing class-files
rm */*.class
After compilation, the examples can be run in
the REPL as well as in scala. For example
scala ex.scala
or
scala -cp $PWD ex.scala
The directory can be cleaned with
rm -rf *~ lib turing abacus comp1 comp2 recs
------------------------------
Abacus to Javabyte compilation
requires the jasmin assembler for Java
avilable from
http://jasmin.sourceforge.net
Calling
scala -cp $PWD ex_jvm.scala
generates a Prog.j intermediate file.
This will be assembled using jasmin.