[Top] | [Contents] | [Index] | [ ? ] |

This document describes the Tutch User's Guide, Version 0.52 beta, Last updated October 24, 2002.

1. Introduction About Tutch and this user's guide 2. How to Run Tutch Setting pathes resp. creating scripts 3. Proofs in Propositional Logic Proof files and checking 4. Proof Terms for Propositional Logic Proof terms for propositional logic 5. Types and Programs Built-in inductive types 6. First-Order Logic Universal and existential quantification 7. Arithmetic Reasoning with natural numbers 8. Structural Induction Reasoning with lists A. Reference Syntax and functionality B. Emacs Quickstart Quick introduction to Emacs

This document was generated by