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
wenzelm@7046
     1
wenzelm@7981
     2
%FIXME
wenzelm@7981
     3
%\chapter{Basic Concepts}\label{ch:basics}
wenzelm@7981
     4
%\section{The Isar proof language}
wenzelm@7046
     5
wenzelm@7046
     6
%%% Local Variables: 
wenzelm@7046
     7
%%% mode: latex
wenzelm@7046
     8
%%% TeX-master: "isar-ref"
wenzelm@7046
     9
%%% End: