added author name to MFZ.thy