Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. smart_implode "$AFP" as well;
  3. merged
  4. a few new lemmas
  5. new theory Trie
Changeset 68520:9d78b02b5506 by wenzelm:
merged
Changeset 68519:e1c24b628ca5 by wenzelm:
smart_implode "$AFP" as well;
The file was modified src/Pure/General/path.ML (diff)
Changeset 68518:e76c2d720701 by paulson:
merged
Changeset 68517:6b5f15387353 by paulson _lp15@cam.ac.uk_:
a few new lemmas
The file was modified src/HOL/Algebra/Coset.thy (diff)
The file was modified src/HOL/Algebra/FiniteProduct.thy (diff)
The file was modified src/HOL/Algebra/Group.thy (diff)
The file was modified src/HOL/Algebra/Group_Action.thy (diff)
The file was modified src/HOL/Algebra/Ring.thy (diff)
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Analysis/Infinite_Products.thy (diff)
Changeset 68516:b0c4a34ccfef by nipkow:
new theory Trie
The file was addedsrc/HOL/Data_Structures/Trie.thy
The file was modified src/HOL/ROOT (diff)