Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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 (diff)
Changeset 73679:71c45d60a90a by nipkow:
merged
Changeset 73678:78929c029785 by nipkow:
generalized type
The file was modified src/HOL/Library/AList.thy (diff)