Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. added lemmas map_ran_Cons_sel and (length|map_fst)_map_ran
  2. merged
  3. generalized type
Changeset 73680:50437744eb1c by desharna:
added lemmas map_ran_Cons_sel and (length|map_fst)_map_ran
The file was modified src/HOL/Library/AList.thy
Changeset 73679:71c45d60a90a by nipkow:
merged
Changeset 73678:78929c029785 by nipkow:
generalized type
The file was modified src/HOL/Library/AList.thy

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

Summary

  1. more small simplifications
Changeset 11781:8ff1ebba38da by paulson _lp15@cam.ac.uk_:
more small simplifications
The file was modified thys/Ordinal_Partitions/Omega_Omega.thy