added theorems fix_strict, fix_defined, fix_id, fix_const
added theorems fix_strict, fix_defined, fix_id, fix_const

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