# HG changeset patch # User wenzelm # Date 1256060212 -7200 # Node ID cc038dc8f412d2de3797454812e3bde5b491caf6 # Parent 60a098883d817d89bfb2b2d44a9b9787f1100fc4 tuned header; diff -r 60a098883d81 -r cc038dc8f412 src/HOL/ex/ThreeDivides.thy --- a/src/HOL/ex/ThreeDivides.thy Tue Oct 20 19:29:24 2009 +0200 +++ b/src/HOL/ex/ThreeDivides.thy Tue Oct 20 19:36:52 2009 +0200 @@ -1,5 +1,4 @@ -(* Title: HOL/Isar_examples/ThreeDivides.thy - ID: $Id$ +(* Title: HOL/ex/ThreeDivides.thy Author: Benjamin Porter, 2005 *)