Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. moved lemma fromm AFP
  2. tuned names
Changeset 75668:b87b14e885af by nipkow:
moved lemma fromm AFP
The file was modified src/HOL/Finite_Set.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
Changeset 75667:33177228aa69 by nipkow:
tuned names
The file was modified src/HOL/Data_Structures/Binomial_Heap.thy (diff)