ISABELLE_GGB Basics_Construction of Lines