Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. collected combinatorial material
Changeset 73555:92783562ab78 by haftmann:
collected combinatorial material
The file was addedsrc/HOL/Combinatorics/Orbits.thy
The file was modified src/HOL/Combinatorics/Permutations.thy
The file was modified src/HOL/Euclidean_Division.thy
The file was modified src/HOL/Finite_Set.thy
The file was modified src/HOL/Hilbert_Choice.thy
The file was modified src/HOL/Nat.thy
The file was modified src/HOL/Set_Interval.thy

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. merge
  2. increased timeout
  3. collected combinatorial material
Changeset 11725:b48d456f9336 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 11724:70ac843c069d by rene thiemann _rene.thiemann@uibk.ac.at_:
increased timeout
The file was modified thys/Modular_arithmetic_LLL_and_HNF_algorithms/ROOT
Changeset 11723:bf1f2a489b41 by haftmann:
collected combinatorial material
The file was addedthys/Graph_Theory/Auxiliary.thy
The file was modified thys/Extended_Finite_State_Machines/EFSM_LTL.thy
The file was modified thys/Extended_Finite_State_Machines/VName.thy
The file was modified thys/Graph_Theory/Graph_Theory.thy
The file was modified thys/Graph_Theory/Subdivision.thy
The file was modified thys/Gromov_Hyperbolicity/Isometries_Classification.thy
The file was modified thys/Planarity_Certificates/Planarity/Executable_Permutations.thy
The file was modified thys/Planarity_Certificates/Planarity/Graph_Genus.thy
The file was modified thys/Planarity_Certificates/Planarity/Permutations_2.thy
The file was modified thys/Planarity_Certificates/Planarity/Planar_Complete.thy
The file was modified thys/Planarity_Certificates/Planarity/Planar_Subgraph.thy
The file was removedthys/Graph_Theory/Funpow.thy