module TableOfContent where

------------------------------------------------------------------------
-- Section 1 and 2

import StateOfTheArt

------------------------------------------------------------------------
-- Section 4

import Unifier

------------------------------------------------------------------------
-- Section 5 and 6

import N-ary
import Examples

------------------------------------------------------------------------
-- Section 7 and 8

import Applications
import Printf


------------------------------------------------------------------------
-- Appendix

import Appendix
