README
changeset 869 242b5050c1a6
parent 816 2f89be458be5
child 2119 1d8ae796f3bf
equal deleted inserted replaced
868:452f1e6ae3bc 869:242b5050c1a6
    52 
    52 
    53 Important files include...
    53 Important files include...
    54   COPYRIGHT 	Copyright notice and Disclaimer of Warranty
    54   COPYRIGHT 	Copyright notice and Disclaimer of Warranty
    55   Pure		contains source files for Pure Isabelle (no object-logic)
    55   Pure		contains source files for Pure Isabelle (no object-logic)
    56   Provers	contains generic theorem provers: simplifier, etc.
    56   Provers	contains generic theorem provers: simplifier, etc.
       
    57   Tools		contains shell scripts and utilities 
    57 
    58 
    58 The following subdirectories contain object-logics:
    59 The following subdirectories contain object-logics:
    59   FOL 	  Natural deduction First-Order Logic (intuitionistic and classical)
    60   FOL 	  Natural deduction First-Order Logic (intuitionistic and classical)
    60   FOLP 	  First-Order Logic with Proof terms
    61   FOLP 	  First-Order Logic with Proof terms
    61   ZF	  Zermelo-Fraenkel set theory
    62   ZF	  Zermelo-Fraenkel set theory