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

Require Export GeoCoq.Main.Highschool.incenter.
Require Export GeoCoq.Main.Highschool.orientation.
Require Export GeoCoq.Main.Highschool.Euler_line.
Require Export GeoCoq.Main.Highschool.SegmTrisect.
Require Export GeoCoq.Main.Highschool.sesamath_exercises.
Require Export GeoCoq.Main.Elements_statements.Book_1.
Require Export GeoCoq.Main.Elements_statements.Book_3.
