changeset 36862 | 952b2b102a0a |
parent 32367 | a508148f7c25 |
child 41818 | 6d4c3ee8219d |
--- a/src/HOL/Induct/Com.thy Wed May 12 14:02:50 2010 +0200 +++ b/src/HOL/Induct/Com.thy Wed May 12 14:17:26 2010 +0200 @@ -1,5 +1,4 @@ -(* Title: HOL/Induct/Com - ID: $Id$ +(* Title: HOL/Induct/Com.thy Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1997 University of Cambridge