Removed some unfoldings of defs after declaring wf_java_prog as syntax
Removed some unfoldings of defs after declaring wf_java_prog as syntax

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle