To view the mathematical symbols correctly in firefox, choose
                 View -> Character encoding -> Unicode.

      The main file is DP.agda. The others contain auxiliary definitions
      and standard propositions.