isabelle: CONTRIBUTORS@dd9023d84f44 (annotated)

15968 c4e8a6af2235 added; wenzelm parents: diff changeset	1
c4e8a6af2235 added; wenzelm parents: diff changeset	2	* May 2005: Rafal Kolanski, NICTA
c4e8a6af2235 added; wenzelm parents: diff changeset	3	Substantially improved retrieval of facts from theory/proof context.
15993 99320adfbf3a updated; wenzelm parents: 15968 diff changeset	4
99320adfbf3a updated; wenzelm parents: 15968 diff changeset	5	* May 2005: Florian Haftmann, TUM
99320adfbf3a updated; wenzelm parents: 15968 diff changeset	6	Several new antiquotation.
15994 dd9023d84f44 proper Id line; wenzelm parents: 15993 diff changeset	7
dd9023d84f44 proper Id line; wenzelm parents: 15993 diff changeset	8	$Id$