Parabolic Induction
====================


.. toctree::
   :maxdepth: 2

   induction/real_induction
   induction/theta_induction
   induction/aq_lambda