# HG changeset patch
# User wenzelm
# Date 1334494275 -7200
# Node ID 0b4698a31e9a6602db0b2db41893c64ea9f91bc4
# Parent  e94cc23d434a659b9981a4feac4054d58ed47c5a
more CONTRIBUTORS;

diff -r e94cc23d434a -r 0b4698a31e9a CONTRIBUTORS
--- a/CONTRIBUTORS	Sun Apr 15 14:50:09 2012 +0200
+++ b/CONTRIBUTORS	Sun Apr 15 14:51:15 2012 +0200
@@ -21,6 +21,7 @@
   (Re-)Introduction of the "set" type constructor.
 
 * 2011/2012: Makarius Wenzel, Université Paris-Sud / LRI
+  Various refinements of local theory infrastructure.
   Improvements of Isabelle/Scala layer and Isabelle/jEdit Prover IDE.