isabelle-common.gen 7.74 KB