isabelle: doc-src/IsarRef/basics.tex@4a58895f704c (annotated)

7046 9f755ff43cff skeleton only; wenzelm parents: diff changeset	1
7981 5120a2a15d06 tuned; wenzelm parents: 7895 diff changeset	2	%FIXME
5120a2a15d06 tuned; wenzelm parents: 7895 diff changeset	3	%\chapter{Basic Concepts}\label{ch:basics}
5120a2a15d06 tuned; wenzelm parents: 7895 diff changeset	4	%\section{The Isar proof language}
7046 9f755ff43cff skeleton only; wenzelm parents: diff changeset	5
9f755ff43cff skeleton only; wenzelm parents: diff changeset	6	%%% Local Variables:
9f755ff43cff skeleton only; wenzelm parents: diff changeset	7	%%% mode: latex
9f755ff43cff skeleton only; wenzelm parents: diff changeset	8	%%% TeX-master: "isar-ref"
9f755ff43cff skeleton only; wenzelm parents: diff changeset	9	%%% End: