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

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

This document was generated by Andreas Abel on October, 24 2002 using texi2html