Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added lemma
  2. tuned: t -> T
Changeset 72545:55a50f65c928 by nipkow:
added lemma
The file was modified src/HOL/Groups_List.thy (diff)
Changeset 72544:15aa84226a57 by nipkow:
tuned: t -> T
The file was modified src/HOL/Data_Structures/Queue_2Lists.thy (diff)