isabelle-common.gen 7.35 KB