21 months ago wenzelm [Sun, 16 Oct 2016 13:27:01 +0200] rev 64252
clarified setup_repository: more uniform pull vs. clone, without update;
src/Pure/Admin/isabelle_cronjob.scala src/Pure/General/mercurial.scala

21 months ago wenzelm [Sun, 16 Oct 2016 13:11:47 +0200] rev 64251
proper setup of fresh repository;
src/Pure/Admin/isabelle_cronjob.scala

21 months ago haftmann [Sun, 16 Oct 2016 13:47:37 +0200] rev 64250
clarified prover-specific rules
src/HOL/Divides.thy

21 months ago haftmann [Sun, 16 Oct 2016 13:47:36 +0200] rev 64249
dropped potentially explosive rule for groebner simpset, with no observable effect on examples
src/HOL/Groebner_Basis.thy

21 months ago haftmann [Sun, 16 Oct 2016 13:47:35 +0200] rev 64248
simplified fact references
src/HOL/Groebner_Basis.thy

21 months ago haftmann [Sun, 16 Oct 2016 13:47:33 +0200] rev 64247
avoid effectively subsumed rules;
simplified fact reference
src/HOL/Presburger.thy

21 months ago haftmann [Sun, 16 Oct 2016 09:31:06 +0200] rev 64246
eliminated irregular aliasses
NEWS src/HOL/Algebra/IntRing.thy src/HOL/Code_Numeral.thy src/HOL/Decision_Procs/Approximation.thy src/HOL/Decision_Procs/Cooper.thy src/HOL/Decision_Procs/MIR.thy src/HOL/Divides.thy src/HOL/Groebner_Basis.thy src/HOL/Hoare/Arith2.thy src/HOL/Library/Float.thy src/HOL/Library/RBT_Impl.thy src/HOL/Old_Number_Theory/Int2.thy src/HOL/Old_Number_Theory/IntPrimes.thy src/HOL/Old_Number_Theory/Quadratic_Reciprocity.thy src/HOL/Presburger.thy src/HOL/SPARK/Examples/Gcd/Greatest_Common_Divisor.thy src/HOL/SPARK/Manual/Example_Verification.thy src/HOL/Word/Bit_Representation.thy src/HOL/Word/Word_Miscellaneous.thy

21 months ago haftmann [Sun, 16 Oct 2016 09:31:05 +0200] rev 64245
avoid references to lemmas designed for prover tools
src/HOL/Word/Word_Miscellaneous.thy

21 months ago haftmann [Sun, 16 Oct 2016 09:31:05 +0200] rev 64244
clarified theorem names
NEWS src/HOL/Decision_Procs/cooper_tac.ML src/HOL/Decision_Procs/mir_tac.ML src/HOL/Divides.thy src/HOL/Presburger.thy src/HOL/Tools/Qelim/cooper.ML src/HOL/Tools/nat_numeral_simprocs.ML

21 months ago haftmann [Sun, 16 Oct 2016 09:31:05 +0200] rev 64243
eliminated irregular aliasses
NEWS src/HOL/Decision_Procs/Approximation.thy src/HOL/Decision_Procs/cooper_tac.ML src/HOL/Decision_Procs/mir_tac.ML src/HOL/Divides.thy src/HOL/Library/RBT_Impl.thy src/HOL/Number_Theory/Eratosthenes.thy src/HOL/Number_Theory/Euclidean_Algorithm.thy src/HOL/Old_Number_Theory/Pocklington.thy src/HOL/Tools/Qelim/cooper.ML src/HOL/Word/Word.thy