doc-src/IsarRef/basics.tex
author haftmann
Fri Dec 29 12:11:04 2006 +0100 (2006-12-29)
changeset 21927 9677abe5d374
parent 7981 5120a2a15d06
permissions -rw-r--r--
added handling for explicit classrel witnesses
     1 
     2 %FIXME
     3 %\chapter{Basic Concepts}\label{ch:basics}
     4 %\section{The Isar proof language}
     5 
     6 %%% Local Variables: 
     7 %%% mode: latex
     8 %%% TeX-master: "isar-ref"
     9 %%% End: