_CoqProject

theories/BGappendixAB.v
theories/BGappendixC.v
theories/BGsection10.v
theories/BGsection11.v
theories/BGsection12.v
theories/BGsection13.v
theories/BGsection14.v
theories/BGsection15.v
theories/BGsection16.v
theories/BGsection1.v
theories/BGsection2.v
theories/BGsection3.v
theories/BGsection4.v
theories/BGsection5.v
theories/BGsection6.v
theories/BGsection7.v
theories/BGsection8.v
theories/BGsection9.v
theories/PFsection10.v
theories/PFsection11.v
theories/PFsection12.v
theories/PFsection13.v
theories/PFsection14.v
theories/PFsection1.v
theories/PFsection2.v
theories/PFsection3.v
theories/PFsection4.v
theories/PFsection5.v
theories/PFsection6.v
theories/PFsection7.v
theories/PFsection8.v
theories/PFsection9.v
theories/stripped_odd_order_theorem.v
theories/wielandt_fixpoint.v

-R theories odd_order