isabelle: doc-src/IsarImplementation/Thy/Syntax.thy@a724b90f951e (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
39865 a724b90f951e more on "Configuration options"; wenzelm parents: 39852 diff changeset	10	section {* Parsing and printing \label{sec:parse-print} *}
34924 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
	Mon, 18 Oct 2010 16:23:55 +0100
changeset 39865	a724b90f951e
parent 39852	9c977f899ebf
child 39876	1ff9bce085bd
permissions	-rw-r--r--