-R lf lf
-R ../../theories Mtac2
-I ../../src
lf/Preface.v
lf/Basics.v
lf/Induction.v
lf/Lists.v
lf/Poly.v
lf/Tactics.v
lf/Logic.v
