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