Comment by whosnzhq on Isabelle

i want to rest (in peace)
SOME OF MY COMMENTS ARE WRONG GRAMMAR, I CAN'T DELETE OR CHANGE THEM