isabelle: Admin/page/main-content/docs.content@6aae8eb39a18 (annotated)

8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	1	%title%
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	2	Isabelle Documentation
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	3
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	4	%body%
3c587e7b8fe5 new webpage layout kleing parents: diff changeset	5
10016 3833b58a5d88 improved pages; wenzelm parents: 9920 diff changeset	6	<!-- _GP_ distname --> documentation is included here as browsable PDF
3833b58a5d88 improved pages; wenzelm parents: 9920 diff changeset	7	for convenience. These documents are also part of the standard
13087 879ac452101e inserted tutorial kleing parents: 10180 diff changeset	8	Isabelle <a href="dist/index.html">distribution</a>. For getting
879ac452101e inserted tutorial kleing parents: 10180 diff changeset	9	started with Isabelle quickly, we recommend the
879ac452101e inserted tutorial kleing parents: 10180 diff changeset	10	<a href="dist/<!-- _GP_ distname -->/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a> --
879ac452101e inserted tutorial kleing parents: 10180 diff changeset	11	published by Springer Verlag as <a
879ac452101e inserted tutorial kleing parents: 10180 diff changeset	12	href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>.
8056 3c587e7b8fe5 new webpage layout kleing parents: diff changeset	13
10016 3833b58a5d88 improved pages; wenzelm parents: 9920 diff changeset	14	<!-- _GP_ include("$pwd/docu-contents.main") -->

author	nipkow
	Mon, 12 Aug 2002 17:59:57 +0200
changeset 13492	6aae8eb39a18
parent 13087	879ac452101e
child 14574	8c4f90bb769d
permissions	-rw-r--r--