Removed code generator stuff. Code generation is now handled by code generator in typedef_package.
Removed code generator stuff. Code generation is now handled by code
generator in typedef_package.

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