Resolve "Break 170_tagged_derivation into chapters"

Author: frank-at-adacore

courses/fundamentals_of_ada/170_tagged_derivation-intro.rst

@@ -0,0 +1,40 @@
+*****************
+Tagged Derivation
+*****************
+
+.. container:: PRELUDE BEGIN
+
+.. container:: PRELUDE ROLES
+
+.. role:: ada(code)
+    :language: Ada
+
+.. role:: C(code)
+    :language: C
+
+.. role:: cpp(code)
+    :language: C++
+
+.. container:: PRELUDE SYMBOLS
+
+.. |rightarrow| replace:: :math:`\rightarrow`
+.. |forall| replace:: :math:`\forall`
+.. |exists| replace:: :math:`\exists`
+.. |equivalent| replace:: :math:`\iff`
+.. |le| replace:: :math:`\le`
+.. |ge| replace:: :math:`\ge`
+.. |lt| replace:: :math:`<`
+.. |gt| replace:: :math:`>`
+.. |checkmark| replace:: :math:`\checkmark`
+
+.. container:: PRELUDE REQUIRES
+
+.. container:: PRELUDE PROVIDES
+
+.. container:: PRELUDE END
+
+.. include:: 170_tagged_derivation/01-introduction.rst
+.. include:: 170_tagged_derivation/02-tagged_derivation-simple.rst
+.. include:: labs/170_tagged_derivation-simple.lab.rst
+.. include:: 170_tagged_derivation/99-summary.rst
+.. include:: 170_tagged_derivation/03-extending_tagged_types.rst