Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. introduced zip_with
  2. added lemma
Changeset 66655:e9be3d6995f9 by nipkow:
introduced zip_with
The file was modified src/HOL/Library/Stirling.thy (diff)
The file was modified src/HOL/List.thy (diff)
Changeset 66654:4a812abde314 by nipkow:
added lemma
The file was modified src/HOL/List.thy (diff)