Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. poles and residues of the Gamma function
  2. merged
  3. new derived targets for evaluating Haskell and Scala programs
  4. Printing natural numbers as numerals in evaluation
Changeset 66286:1c977b13414f by eberlm _eberlm@in.tum.de_:
poles and residues of the Gamma function
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Conformal_Mappings.thy (diff)
The file was modified src/HOL/Analysis/Gamma_Function.thy (diff)
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
Changeset 66285:4d722e3e870e by Andreas Lochbihler:
merged
Changeset 66284:378895354604 by Andreas Lochbihler:
new derived targets for evaluating Haskell and Scala programs
The file was modified src/HOL/Library/code_test.ML (diff)
Changeset 66283:adf3155c57e2 by eberlm _eberlm@in.tum.de_:
Printing natural numbers as numerals in evaluation
The file was modified src/HOL/Num.thy (diff)
The file was modified src/HOL/Predicate_Compile_Examples/Examples.thy (diff)
The file was modified src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy (diff)