(** This file imports all the GeoCoq library, except Euclid's original proofs
    and some meta theory. *)

Require Export GeoCoq.Highschool.incenter.
Require Export GeoCoq.Highschool.orientation.
Require Export GeoCoq.Highschool.Euler_line.
Require Export GeoCoq.Highschool.sesamath_exercises.
Require Export GeoCoq.Elements.Statements.Book_1.
Require Export GeoCoq.Elements.Statements.Book_3.
