isabelle: src/HOL/HOLCF/IMP/document/root.bib@0437dbc127b3 (annotated)

12430 bfbd4d8faad7 latex output setup kleing parents: diff changeset	1	@string{JFP="J. Functional Programming"}
bfbd4d8faad7 latex output setup kleing parents: diff changeset	2
bfbd4d8faad7 latex output setup kleing parents: diff changeset	3	@article{MuellerNvOS99,
bfbd4d8faad7 latex output setup kleing parents: diff changeset	4	author=
bfbd4d8faad7 latex output setup kleing parents: diff changeset	5	{Olaf M{\"u}ller and Tobias Nipkow and Oheimb, David von and Oskar Slotosch},
bfbd4d8faad7 latex output setup kleing parents: diff changeset	6	title={{HOLCF = HOL + LCF}},journal=JFP,year=1999,volume=9,pages={191--223}}
bfbd4d8faad7 latex output setup kleing parents: diff changeset	7

author	huffman
	Sat, 27 Nov 2010 16:08:10 -0800
changeset 40774	0437dbc127b3
parent 12430	src/HOLCF/IMP/document/root.bib@bfbd4d8faad7
permissions	-rw-r--r--