# HG changeset patch
# User urbanc
# Date 1133067671 -3600
# Node ID 55c201fe4c95709295bbb3312cc4396ae780c339
# Parent  f3f81becc1f16feba979f9e30260557422ad8384
added an authors section (please let me know if somebody is left out or unhappy)

diff -r f3f81becc1f1 -r 55c201fe4c95 src/HOL/Nominal/Examples/Fsub.thy
--- a/src/HOL/Nominal/Examples/Fsub.thy	Sun Nov 27 05:09:43 2005 +0100
+++ b/src/HOL/Nominal/Examples/Fsub.thy	Sun Nov 27 06:01:11 2005 +0100
@@ -1,3 +1,14 @@
+(* $Id$ *)
+
+text {* Authors: Christian Urban
+                 Benjamin Pierce
+                 Steve Zdancewic
+                 Stephanie Weihrich
+                 Dimitrios Vytiniotis
+
+                 with help from Stefan Berghofer
+      *}
+
 theory fsub
 imports "../nominal" 
 begin