isabelle: src/HOL/document/root.bib@d2f21e305d0c (annotated)

21312 1d39091a3208 started reorgnization of lattice theories nipkow parents: 16764 diff changeset	1
27367 a75d71c73362 added dummy citiation haftmann parents: 22367 diff changeset	2	@book{Birkhoff79,
a75d71c73362 added dummy citiation haftmann parents: 22367 diff changeset	3	author = {Garret Birkhoff},
a75d71c73362 added dummy citiation haftmann parents: 22367 diff changeset	4	title = {Lattice Theory},
a75d71c73362 added dummy citiation haftmann parents: 22367 diff changeset	5	publisher = {American Mathematical Society},
a75d71c73362 added dummy citiation haftmann parents: 22367 diff changeset	6	year=1979
a75d71c73362 added dummy citiation haftmann parents: 22367 diff changeset	7	}
a75d71c73362 added dummy citiation haftmann parents: 22367 diff changeset	8
a75d71c73362 added dummy citiation haftmann parents: 22367 diff changeset	9	@book{Nipkow-et-al:2002:tutorial,
a75d71c73362 added dummy citiation haftmann parents: 22367 diff changeset	10	author = {T. Nipkow and L. C. Paulson and M. Wenzel},
a75d71c73362 added dummy citiation haftmann parents: 22367 diff changeset	11	title = {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
a75d71c73362 added dummy citiation haftmann parents: 22367 diff changeset	12	series = {LNCS},
a75d71c73362 added dummy citiation haftmann parents: 22367 diff changeset	13	volume = 2283,
a75d71c73362 added dummy citiation haftmann parents: 22367 diff changeset	14	year = 2002,
a75d71c73362 added dummy citiation haftmann parents: 22367 diff changeset	15	publisher = {Springer-Verlag}
a75d71c73362 added dummy citiation haftmann parents: 22367 diff changeset	16	}

author	blanchet
	Tue, 10 Sep 2013 15:56:51 +0200
changeset 53503	d2f21e305d0c
parent 27367	a75d71c73362
child 58623	2db1df2c8467
permissions	-rw-r--r--