isabelle: doc-src/IsarImplementation/Thy/Syntax.thy@9c977f899ebf (annotated)

30124 b956bf0dc87c basic setup for chapter "Syntax and type-checking"; wenzelm parents: diff changeset	1	theory Syntax
b956bf0dc87c basic setup for chapter "Syntax and type-checking"; wenzelm parents: diff changeset	2	imports Base
b956bf0dc87c basic setup for chapter "Syntax and type-checking"; wenzelm parents: diff changeset	3	begin
b956bf0dc87c basic setup for chapter "Syntax and type-checking"; wenzelm parents: diff changeset	4
34924 520727474bbe theory data example; wenzelm parents: 30272 diff changeset	5	chapter {* Concrete syntax and type-checking *}
30124 b956bf0dc87c basic setup for chapter "Syntax and type-checking"; wenzelm parents: diff changeset	6
b956bf0dc87c basic setup for chapter "Syntax and type-checking"; wenzelm parents: diff changeset	7	text FIXME
30272 2d612824e642 regenerated document; wenzelm parents: 30270 diff changeset	8
39852 9c977f899ebf tuned chapter arrangement; wenzelm parents: 34924 diff changeset	9
34924 520727474bbe theory data example; wenzelm parents: 30272 diff changeset	10	section {* Parsing and printing *}
520727474bbe theory data example; wenzelm parents: 30272 diff changeset	11
520727474bbe theory data example; wenzelm parents: 30272 diff changeset	12	text FIXME
520727474bbe theory data example; wenzelm parents: 30272 diff changeset	13
39852 9c977f899ebf tuned chapter arrangement; wenzelm parents: 34924 diff changeset	14
34924 520727474bbe theory data example; wenzelm parents: 30272 diff changeset	15	section {* Checking and unchecking \label{sec:term-check} *}
520727474bbe theory data example; wenzelm parents: 30272 diff changeset	16
39852 9c977f899ebf tuned chapter arrangement; wenzelm parents: 34924 diff changeset	17	text FIXME
9c977f899ebf tuned chapter arrangement; wenzelm parents: 34924 diff changeset	18
30124 b956bf0dc87c basic setup for chapter "Syntax and type-checking"; wenzelm parents: diff changeset	19	end

author	wenzelm
	Fri, 15 Oct 2010 20:22:56 +0100
changeset 39852	9c977f899ebf
parent 34924	520727474bbe
child 39865	a724b90f951e
permissions	-rw-r--r--