nominal2: Paper/Paper.thy@dc7b049d9072 (annotated)

754 b85875d65b10 added a paper for possible notes Christian Urban <urbanc@in.tum.de> parents: diff changeset	1	(<)
b85875d65b10 added a paper for possible notes Christian Urban <urbanc@in.tum.de> parents: diff changeset	2	theory Paper
1473 b4216d0e109a added partial proof of supp for type schemes Christian Urban <urbanc@in.tum.de> parents: 754 diff changeset	3	imports "../Nominal/Test"
754 b85875d65b10 added a paper for possible notes Christian Urban <urbanc@in.tum.de> parents: diff changeset	4	begin
b85875d65b10 added a paper for possible notes Christian Urban <urbanc@in.tum.de> parents: diff changeset	5	(>)
b85875d65b10 added a paper for possible notes Christian Urban <urbanc@in.tum.de> parents: diff changeset	6
b85875d65b10 added a paper for possible notes Christian Urban <urbanc@in.tum.de> parents: diff changeset	7	section {* Introduction *}
b85875d65b10 added a paper for possible notes Christian Urban <urbanc@in.tum.de> parents: diff changeset	8
b85875d65b10 added a paper for possible notes Christian Urban <urbanc@in.tum.de> parents: diff changeset	9	text {*
b85875d65b10 added a paper for possible notes Christian Urban <urbanc@in.tum.de> parents: diff changeset	10	Here can come any text.
b85875d65b10 added a paper for possible notes Christian Urban <urbanc@in.tum.de> parents: diff changeset	11
b85875d65b10 added a paper for possible notes Christian Urban <urbanc@in.tum.de> parents: diff changeset	12	*}
b85875d65b10 added a paper for possible notes Christian Urban <urbanc@in.tum.de> parents: diff changeset	13
1484 dc7b049d9072 made paper to compile Christian Urban <urbanc@in.tum.de> parents: 1473 diff changeset	14
dc7b049d9072 made paper to compile Christian Urban <urbanc@in.tum.de> parents: 1473 diff changeset	15
dc7b049d9072 made paper to compile Christian Urban <urbanc@in.tum.de> parents: 1473 diff changeset	16
754 b85875d65b10 added a paper for possible notes Christian Urban <urbanc@in.tum.de> parents: diff changeset	17	(<)
b85875d65b10 added a paper for possible notes Christian Urban <urbanc@in.tum.de> parents: diff changeset	18	end
b85875d65b10 added a paper for possible notes Christian Urban <urbanc@in.tum.de> parents: diff changeset	19	(>)

author	Christian Urban <urbanc@in.tum.de>
	Wed, 17 Mar 2010 15:13:31 +0100
changeset 1484	dc7b049d9072
parent 1473	b4216d0e109a
child 1485	c004e7448dca
permissions	-rw-r--r--