Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge from afp-2017
  2. New entry Taylor_Models
  3. Falling_Factorial_Sum website
  4. Falling_Factorial_Sum
  5. website for Mason_Stothers
  6. new entry Mason_Stothers
  7. website for Median_Of_Medians_Selection; URL for Lammich
  8. new entry Median_Of_Medians_Selection
  9. tuned html
  10. New entry Knuth_Morris_Pratt
  11. Recovery after another giant fuckup
  12. Merge
  13. Stochastic_Matrices website
  14. new entry Stochastic_Matrices
Changeset 8705:b60457b41193 by kleing:
merge from afp-2017
Changeset 8704:0ce03e885321 by nipkow:
New entry Taylor_Models
The file was addedthys/Taylor_Models/Experiments.thy
The file was addedthys/Taylor_Models/Float_Topology.thy
The file was addedthys/Taylor_Models/Horner_Eval.thy
The file was addedthys/Taylor_Models/Interval.thy
The file was addedthys/Taylor_Models/Interval_Approximation.thy
The file was addedthys/Taylor_Models/Polynomial_Expression.thy
The file was addedthys/Taylor_Models/Polynomial_Expression_Additional.thy
The file was addedthys/Taylor_Models/ROOT
The file was addedthys/Taylor_Models/Taylor_Models.thy
The file was addedthys/Taylor_Models/Taylor_Models_Misc.thy
The file was addedthys/Taylor_Models/document/root.tex
The file was addedweb/entries/Taylor_Models.html
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/entries/Affine_Arithmetic.html (diff)
The file was modified web/entries/Groebner_Bases.html (diff)
The file was modified web/entries/Ordinary_Differential_Equations.html (diff)
The file was modified web/entries/Polynomials.html (diff)
The file was modified web/entries/RIPEMD-160-SPARK.html (diff)
The file was modified web/index.html (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.html (diff)
The file was modified web/topics.html (diff)
Changeset 8703:6e96c49e6d16 by paulson _lp15@cam.ac.uk_:
Falling_Factorial_Sum website
The file was addedweb/entries/Falling_Factorial_Sum.html
The file was modified metadata/metadata (diff)
The file was modified web/entries/Card_Equiv_Relations.html (diff)
The file was modified web/entries/Discrete_Summation.html (diff)
The file was modified web/index.html (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.html (diff)
The file was modified web/topics.html (diff)
Changeset 8702:9171709b671a by paulson _lp15@cam.ac.uk_:
Falling_Factorial_Sum
The file was addedthys/Falling_Factorial_Sum/Falling_Factorial_Sum_Combinatorics.thy
The file was addedthys/Falling_Factorial_Sum/Falling_Factorial_Sum_Induction.thy
The file was addedthys/Falling_Factorial_Sum/Falling_Factorial_Sum_Vandermonde.thy
The file was addedthys/Falling_Factorial_Sum/Injectivity_Solver3.thy
The file was addedthys/Falling_Factorial_Sum/ROOT
The file was addedthys/Falling_Factorial_Sum/document/root.bib
The file was addedthys/Falling_Factorial_Sum/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 8701:817994b639e5 by paulson _lp15@cam.ac.uk_:
website for Mason_Stothers
The file was addedweb/entries/Mason_Stothers.html
The file was modified metadata/metadata (diff)
The file was modified web/index.html (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.html (diff)
The file was modified web/topics.html (diff)
Changeset 8700:9637f1539d80 by paulson _lp15@cam.ac.uk_:
new entry Mason_Stothers
The file was addedthys/Mason_Stothers/Mason_Stothers.thy
The file was addedthys/Mason_Stothers/ROOT
The file was addedthys/Mason_Stothers/document/root.bib
The file was addedthys/Mason_Stothers/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 8699:d6ec6b2b91f0 by paulson _lp15@cam.ac.uk_:
website for Median_Of_Medians_Selection; URL for Lammich
The file was addedweb/entries/Median_Of_Medians_Selection.html
The file was modified metadata/metadata (diff)
The file was modified web/index.html (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.html (diff)
The file was modified web/topics.html (diff)
Changeset 8698:c0b9552ca768 by paulson _lp15@cam.ac.uk_:
new entry Median_Of_Medians_Selection
The file was addedthys/Median_Of_Medians_Selection/Median_Of_Medians_Selection.thy
The file was addedthys/Median_Of_Medians_Selection/ROOT
The file was addedthys/Median_Of_Medians_Selection/document/root.bib
The file was addedthys/Median_Of_Medians_Selection/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 8697:c9f1009ebbaa by nipkow:
tuned html
The file was modified metadata/metadata (diff)
The file was modified web/entries/Knuth_Morris_Pratt.html (diff)
The file was modified web/rss.xml (diff)
Changeset 8696:f42f0a4b49a3 by nipkow:
New entry Knuth_Morris_Pratt
The file was addedthys/Knuth_Morris_Pratt/KMP.thy
The file was addedthys/Knuth_Morris_Pratt/ROOT
The file was addedthys/Knuth_Morris_Pratt/document/root.bib
The file was addedthys/Knuth_Morris_Pratt/document/root.tex
The file was addedweb/entries/Knuth_Morris_Pratt.html
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/entries/Refine_Imperative_HOL.html (diff)
The file was modified web/index.html (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.html (diff)
The file was modified web/topics.html (diff)
Changeset 8695:5af4ceb1cc28 by paulson _lp15@cam.ac.uk_:
Recovery after another giant fuckup
The file was modified web/index.html (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.html (diff)
Changeset 8694:7e037a67b95f by paulson _lp15@cam.ac.uk_:
Merge
Changeset 8693:adc100e0e4a7 by paulson _lp15@cam.ac.uk_:
Stochastic_Matrices website
The file was addedweb/entries/Stochastic_Matrices.html
The file was modified metadata/metadata (diff)
The file was modified web/entries/Jordan_Normal_Form.html (diff)
The file was modified web/entries/Markov_Models.html (diff)
The file was modified web/entries/Perron_Frobenius.html (diff)
The file was modified web/index.html (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.html (diff)
The file was modified web/topics.html (diff)
Changeset 8692:5313ec82dba5 by paulson _lp15@cam.ac.uk_:
new entry Stochastic_Matrices
The file was addedthys/Stochastic_Matrices/Eigenspace.thy
The file was addedthys/Stochastic_Matrices/ROOT
The file was addedthys/Stochastic_Matrices/Stochastic_Matrix.thy
The file was addedthys/Stochastic_Matrices/Stochastic_Matrix_Markov_Models.thy
The file was addedthys/Stochastic_Matrices/Stochastic_Matrix_Perron_Frobenius.thy
The file was addedthys/Stochastic_Matrices/Stochastic_Vector_PMF.thy
The file was addedthys/Stochastic_Matrices/document/root.bib
The file was addedthys/Stochastic_Matrices/document/root.log
The file was addedthys/Stochastic_Matrices/document/root.tex
The file was modified thys/ROOTS (diff)