Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. clarified signature;
  3. confluent preprocessing for floats in presence of target language numerals
  4. subclass relation
Changeset 73548:c54a9395ad96 by wenzelm:
merged
Changeset 73547:a7aabdf889b7 by wenzelm:
clarified signature;
The file was modified src/HOL/SPARK/Tools/spark_vcs.ML (diff)
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Pure/System/isabelle_system.ML (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 73546:7cb3fefef79e by haftmann:
confluent preprocessing for floats in presence of target language numerals
The file was addedsrc/HOL/Library/Code_Target_Numeral_Float.thy
The file was modified src/HOL/Decision_Procs/Approximation.thy (diff)
The file was modified src/HOL/ROOT (diff)
Changeset 73545:fc72e5ebf9de by haftmann:
subclass relation
The file was modified src/HOL/Rings.thy (diff)