Tutch User's Guide

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