Started reifying Java.
Changed reified symbols to be notations rather than definitions to allow
pattern matching.
Added Reify.v and Semantics.v to Java.
Added reification rules for skip, if, sequencing, read, write, and
assign. Substitution is not working at the moment (assign and read are
affected).
We have a possible bug in the reification plugin, the reification that
fails is on line 123 of Java/Semantics.v
fixing reification code for Java.
Resolved conflicts
Merge branch 'lambda' of ssh://git@github.com/jesper-bengtson/MirrorCharge.git into lambda
Preparing to merge to master.
Resolved merge conflicts
Merge branch 'master' of ssh://github.com/jesper-bengtson/MirrorCharge
Merge branch 'lambda'