isabelle-common.gen 5.82 KB