# HG changeset patch
# User haftmann
# Date 1265811246 -3600
# Node ID f36965a1fd420c08996d7b291d0f3df30abdc861
# Parent  6cdf9bbd03424f9485b4ad594ebfe6ca52ab9ca4
dropped Id

diff -r 6cdf9bbd0342 -r f36965a1fd42 src/HOL/Metis_Examples/TransClosure.thy
--- a/src/HOL/Metis_Examples/TransClosure.thy	Wed Feb 10 15:14:01 2010 +0100
+++ b/src/HOL/Metis_Examples/TransClosure.thy	Wed Feb 10 15:14:06 2010 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/MetisTest/TransClosure.thy
-    ID:         $Id$
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
 
 Testing the metis method