Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. tuned theory structure
  2. more appropriate location
Changeset 73623:5020054b3a16 by haftmann:
tuned theory structure
The file was addedsrc/HOL/Combinatorics/Transposition.thy
The file was modified NEWS
The file was modified src/HOL/Analysis/Cartesian_Space.thy
The file was modified src/HOL/Combinatorics/Combinatorics.thy
The file was modified src/HOL/Combinatorics/Perm.thy
The file was modified src/HOL/Combinatorics/Permutations.thy
The file was modified src/HOL/Fun.thy
The file was modified src/HOL/Hilbert_Choice.thy
Changeset 73622:4dc3baf45d6a by haftmann:
more appropriate location
The file was addedsrc/HOL/Combinatorics/Perm.thy
The file was modified NEWS
The file was modified src/HOL/Combinatorics/Combinatorics.thy
The file was modified src/HOL/Library/Library.thy
The file was modified src/HOL/ex/Perm_Fragments.thy
The file was modified src/HOL/ex/Specifications_with_bundle_mixins.thy
The file was removedsrc/HOL/Library/Perm.thy

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

Summary

  1. tuned theory structure
Changeset 11768:f9dd3b4a6fd5 by haftmann:
tuned theory structure
The file was modified thys/Blue_Eyes/Blue_Eyes.thy
The file was modified thys/Blue_Eyes/ROOT
The file was modified thys/Gauss-Jordan-Elim-Fun/Gauss_Jordan_Elim_Fun.thy
The file was modified thys/Gauss-Jordan-Elim-Fun/ROOT