# HG changeset patch # User webertj # Date 1154913038 -7200 # Node ID b138816322c54bf22b959d46676e3ce0cac307d8 # Parent 32ed5f5fee8486ef4fd232371709eff8db502f0e title fixed diff -r 32ed5f5fee84 -r b138816322c5 src/HOL/NumberTheory/Quadratic_Reciprocity.thy --- a/src/HOL/NumberTheory/Quadratic_Reciprocity.thy Sat Aug 05 15:15:07 2006 +0200 +++ b/src/HOL/NumberTheory/Quadratic_Reciprocity.thy Mon Aug 07 03:10:38 2006 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Quadratic_Reciprocity/Quadratic_Reciprocity.thy +(* Title: HOL/NumberTheory/Quadratic_Reciprocity.thy ID: $Id$ Authors: Jeremy Avigad, David Gray, and Adam Kramer *)