# HG changeset patch
# User wenzelm
# Date 1116317115 -7200
# Node ID c4e8a6af2235ef33f9f349a47d64939b64b4e0e4
# Parent  f9163c6f69d60f7af7874a0829685fbccc293f38
added;

diff -r f9163c6f69d6 -r c4e8a6af2235 CONTRIBUTORS
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/CONTRIBUTORS	Tue May 17 10:05:15 2005 +0200
@@ -0,0 +1,3 @@
+
+* May 2005: Rafal Kolanski, NICTA
+  Substantially improved retrieval of facts from theory/proof context.