# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1269244950 -3600
# Node ID 8f28e749d92beecebb5b1f92360fa00c264c1de6
# Parent  2facd6645599691e2dd937b030495b9ffec94b01
Fixed missing colon.

diff -r 2facd6645599 -r 8f28e749d92b Nominal/Nominal2_Supp.thy
--- a/Nominal/Nominal2_Supp.thy	Sun Mar 21 22:27:08 2010 +0100
+++ b/Nominal/Nominal2_Supp.thy	Mon Mar 22 09:02:30 2010 +0100
@@ -468,7 +468,7 @@
 
 section {* at_set_avoiding2 *}
 
-lemma at_set_avoiding2
+lemma at_set_avoiding2:
   assumes "finite xs"
   and     "finite (supp c)" "finite (supp x)"
   and     "xs \<sharp>* x"
@@ -483,4 +483,4 @@
 apply(auto simp add: fresh_star_def fresh_def)
 done
 
-end
\ No newline at end of file
+end