isabelle: doc-src/IsarImplementation/intro.tex@20f43e0e0958 (annotated)

18537 2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	1
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	2	%% $Id$
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	3
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	4	\chapter{Introduction}
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	5
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	6	FIXME
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	7
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	8	\nocite{Wenzel-PhD}
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	9
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	10	%%% Local Variables:
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	11	%%% mode: latex
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	12	%%% TeX-master: "implementation"
2681f9e34390 "The Isabelle/Isar Implementation" manual; wenzelm parents: diff changeset	13	%%% End: