isabelle-common.gen 7.63 KB