.. Softwae Foundation(ja) documentation master file, created by
   sphinx-quickstart on Sat Jul 14 19:09:04 2012.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

ソフトウェアの基礎(beta)
==================================================

本ドキュメントは実験中のものです。
安定板は http://proofcafe.org/sf/ を参照してください。

epub版: http://proofcafe.org/sf-beta/software_foundation_1.0.2.epub

mobi版: http://proofcafe.org/sf-beta/software_foundation_1.0.2.mobi

Contents:

.. toctree::
   :maxdepth: 2

   Preface_J
   Basics_J
   Lists_J
   Poly_J
   Gen_J
   Prop_J
   Logic_J
   Rel_J
   SfLib_J
   Imp_J
   ImpParser_J
   Equiv_J
   ImpList_J
   Hoare_J
   HoareAsLogic_J
   Smallstep_J
   Types_J
   Stlc_J
   Typechecking_J
   MoreStlc_J
   Records_J
   References_J
   Subtyping_J
   RecordSub_J
   Norm_J
   UseTactics_J
   UseAuto_J
   LibTactics_J
   PE_J
   Postscript_J


Indices and tables
==================

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`