isabelle-common.gen 7.45 KB