src/HOL/ATP_Linkup.thy
changeset 29600 0182b65e4ad0
parent 29593 7b73bd578db2
parent 29580 117b88da143c
child 29611 9891e3646809
     1.1 --- a/src/HOL/ATP_Linkup.thy	Wed Jan 21 15:26:02 2009 +0100
     1.2 +++ b/src/HOL/ATP_Linkup.thy	Wed Jan 21 20:05:31 2009 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  (*  Title:      HOL/ATP_Linkup.thy
     1.5 -    ID:         $Id$
     1.6      Author:     Lawrence C Paulson
     1.7      Author:     Jia Meng, NICTA
     1.8      Author:     Fabian Immler, TUM