Skip to content
Jenkins
log in
Dashboard
isabelle-nightly-benchmark
#601
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
more new theorems on real^1, matrices, etc.
a few new theorems and some fixes
new material about vec, real^1, etc.
Changeset
67981:349c639e593c
by
paulson _lp15@cam.ac.uk_
:
more new theorems on real^1, matrices, etc.
The file was modified
src/HOL/Analysis/Cartesian_Euclidean_Space.thy
(diff)
The file was modified
src/HOL/Analysis/Determinants.thy
(diff)
The file was modified
src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy
(diff)
The file was modified
src/HOL/Analysis/Ordered_Euclidean_Space.thy
(diff)
Changeset
67980:a8177d098b74
by
paulson _lp15@cam.ac.uk_
:
a few new theorems and some fixes
The file was modified
src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy
(diff)
The file was modified
src/HOL/Analysis/Henstock_Kurzweil_Integration.thy
(diff)
The file was modified
src/HOL/Analysis/Improper_Integral.thy
(diff)
Changeset
67979:53323937ee25
by
paulson _lp15@cam.ac.uk_
:
new material about vec, real^1, etc.
The file was modified
src/HOL/Analysis/Cartesian_Euclidean_Space.thy
(diff)
The file was modified
src/HOL/Analysis/Cauchy_Integral_Theorem.thy
(diff)
The file was modified
src/HOL/Analysis/Complex_Analysis_Basics.thy
(diff)
The file was modified
src/HOL/Analysis/Derivative.thy
(diff)
The file was modified
src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy
(diff)
The file was modified
src/HOL/Analysis/Henstock_Kurzweil_Integration.thy
(diff)
The file was modified
src/HOL/Analysis/Lipschitz.thy
(diff)
The file was modified
src/HOL/Analysis/Topology_Euclidean_Space.thy
(diff)