Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. material on finite sets and maps
  2. simplify parametricity proofs
Changeset 68463:410818a69ee3 by lars hupel _lars.hupel@mytum.de_:
material on finite sets and maps
The file was modified src/HOL/Finite_Set.thy (diff)
The file was modified src/HOL/Library/FSet.thy (diff)
The file was modified src/HOL/Library/Finite_Map.thy (diff)
Changeset 68462:8d1bf38c6fe6 by lars hupel _lars.hupel@mytum.de_:
simplify parametricity proofs
The file was modified src/HOL/Library/Finite_Map.thy (diff)