#########################################################################
                           SOFTWARE FOUNDATIONS
#########################################################################

This directory contains both Coq scripts (.v files) and generated HTML
files for Volume 1 of the Software Foundations electronic textbook
series.

  - Preface.v or Preface.html
    The place to start reading, including details on how to install
    required software

  - index.html
    The book's cover page and navigation starting point

  - deps.html
    Overview of the ordering of chapters

  - LICENSE
    Explanation of how these files may be redistributed