Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. dedicated definition for coprimality
  2. more induct rules on nat
  3. avoid download of components;
  4. local user_home for improved performance, but only after given changeset for stability of measurement history;
  5. support alternative USER_HOME directory;
  6. clarified settings environment;
  7. tuned signature;
  8. tuned;
  9. more options for "isabelle mkroot"; updated documentation;
  10. adapted to changed ROOT syntax (see 13857f49d215); discontinued pointless option -d: always enabled;
  11. converted to Isabelle/Scala;
Changeset 67051:e7e54a0b9197 by haftmann:
dedicated definition for coprimality
The file was modified NEWS (diff)
The file was modified src/Doc/Corec/Corec.thy (diff)
The file was modified src/HOL/Algebra/Multiplicative_Group.thy (diff)
The file was modified src/HOL/Computational_Algebra/Factorial_Ring.thy (diff)
The file was modified src/HOL/Computational_Algebra/Normalized_Fraction.thy (diff)
The file was modified src/HOL/Computational_Algebra/Nth_Powers.thy (diff)
The file was modified src/HOL/Computational_Algebra/Polynomial_Factorial.thy (diff)
The file was modified src/HOL/Computational_Algebra/Primes.thy (diff)
The file was modified src/HOL/Computational_Algebra/Squarefree.thy (diff)
The file was modified src/HOL/Corec_Examples/Paper_Examples.thy (diff)
The file was modified src/HOL/Decision_Procs/Rat_Pair.thy (diff)
The file was modified src/HOL/Euclidean_Division.thy (diff)
The file was modified src/HOL/GCD.thy (diff)
The file was modified src/HOL/Isar_Examples/Fibonacci.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Map.thy (diff)
The file was modified src/HOL/Nitpick.thy (diff)
The file was modified src/HOL/Number_Theory/Cong.thy (diff)
The file was modified src/HOL/Number_Theory/Euler_Criterion.thy (diff)
The file was modified src/HOL/Number_Theory/Fib.thy (diff)
The file was modified src/HOL/Number_Theory/Gauss.thy (diff)
The file was modified src/HOL/Number_Theory/Pocklington.thy (diff)
The file was modified src/HOL/Number_Theory/Residues.thy (diff)
The file was modified src/HOL/Number_Theory/Totient.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/Rat.thy (diff)
The file was modified src/HOL/Real.thy (diff)
The file was modified src/HOL/Rings.thy (diff)
The file was modified src/HOL/Set.thy (diff)
Changeset 67050:1e29e2666a15 by haftmann:
more induct rules on nat
The file was modified src/HOL/Nat.thy (diff)
Changeset 67049:0bb8369d10d6 by wenzelm:
avoid download of components;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 67048:ec438988b65a by wenzelm:
local user_home for improved performance, but only after given changeset for stability of measurement history;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 67047:19b6091c2137 by wenzelm:
support alternative USER_HOME directory;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 67046:897f1ac84aab by wenzelm:
clarified settings environment;
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 67045:6c94f749410a by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 67044:3d81a1a67302 by wenzelm:
tuned;
The file was modified src/Doc/System/Environment.thy (diff)
Changeset 67043:848672fcaee5 by wenzelm:
more options for &quot;isabelle mkroot&quot;;<br>updated documentation;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Presentation.thy (diff)
The file was modified src/Pure/Tools/mkroot.scala (diff)
Changeset 67042:677cab7c2b85 by wenzelm:
adapted to changed ROOT syntax (see 13857f49d215);<br>discontinued pointless option -d: always enabled;
The file was modified src/Doc/System/Presentation.thy (diff)
The file was modified src/Doc/Tutorial/Documents/Documents.thy (diff)
The file was modified src/Pure/Tools/mkroot.scala (diff)
Changeset 67041:f8b0367046bd by wenzelm:
converted to Isabelle/Scala;
The file was addedsrc/Pure/Tools/mkroot.scala
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedlib/Tools/mkroot