Skip to content
Jenkins
log in
Dashboard
isabelle-nightly-benchmark
#678
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 on infinite products
merged
even more from Paulo
more standard headers; tuned whitespace;
eliminated hard TABs, assuming tabsize=8;
more latex problems
latex fixes
more algebra
Changeset
68585:1657b9a5dd5d
by
paulson _lp15@cam.ac.uk_
:
more on infinite products
The file was modified
src/HOL/Analysis/Complex_Transcendental.thy
(diff)
The file was modified
src/HOL/Analysis/Infinite_Products.thy
(diff)
Changeset
68584:ec4fe1032b6e
by
paulson
:
merged
Changeset
68583:654e73d05495
by
paulson _lp15@cam.ac.uk_
:
even more from Paulo
The file was modified
src/HOL/Algebra/Multiplicative_Group.thy
(diff)
The file was modified
src/HOL/Algebra/Polynomials.thy
(diff)
The file was modified
src/HOL/Algebra/QuotRing.thy
(diff)
The file was modified
src/HOL/Algebra/Ring_Divisibility.thy
(diff)
Changeset
68582:b9b9e2985878
by
wenzelm
:
more standard headers;<br>tuned whitespace;
The file was modified
src/HOL/Algebra/Algebra.thy
(diff)
The file was modified
src/HOL/Algebra/Chinese_Remainder.thy
(diff)
The file was modified
src/HOL/Algebra/Coset.thy
(diff)
The file was modified
src/HOL/Algebra/Cycles.thy
(diff)
The file was modified
src/HOL/Algebra/Embedded_Algebras.thy
(diff)
The file was modified
src/HOL/Algebra/Exact_Sequence.thy
(diff)
The file was modified
src/HOL/Algebra/Generated_Fields.thy
(diff)
The file was modified
src/HOL/Algebra/Generated_Groups.thy
(diff)
The file was modified
src/HOL/Algebra/Group_Action.thy
(diff)
The file was modified
src/HOL/Algebra/Ideal_Product.thy
(diff)
The file was modified
src/HOL/Algebra/Polynomials.thy
(diff)
The file was modified
src/HOL/Algebra/QuotRing.thy
(diff)
The file was modified
src/HOL/Algebra/Ring.thy
(diff)
The file was modified
src/HOL/Algebra/Ring_Divisibility.thy
(diff)
The file was modified
src/HOL/Algebra/Solvable_Groups.thy
(diff)
The file was modified
src/HOL/Algebra/Subrings.thy
(diff)
The file was modified
src/HOL/Algebra/Sym_Groups.thy
(diff)
Changeset
68581:0793e5ad25ec
by
wenzelm
:
eliminated hard TABs, assuming tabsize=8;
The file was modified
src/HOL/Algebra/Module.thy
(diff)
Changeset
68580:a3723b11bd60
by
paulson _lp15@cam.ac.uk_
:
more latex problems
The file was modified
src/HOL/Algebra/Ring_Divisibility.thy
(diff)
The file was modified
src/HOL/Algebra/document/root.tex
(diff)
Changeset
68579:6dff90eba493
by
paulson _lp15@cam.ac.uk_
:
latex fixes
The file was modified
src/HOL/Algebra/Polynomials.thy
(diff)
The file was modified
src/HOL/Algebra/Ring_Divisibility.thy
(diff)
Changeset
68578:1f86a092655b
by
paulson _lp15@cam.ac.uk_
:
more algebra
The file was added
src/HOL/Algebra/Exact_Sequence.thy
The file was added
src/HOL/Algebra/Polynomials.thy
The file was added
src/HOL/Algebra/Ring_Divisibility.thy
The file was modified
src/HOL/Algebra/Algebra.thy
(diff)