isabelle-common.gen 7.71 KB