Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. list syntax details
  2. merged
  3. allow tuple patterns in list comprehensions
Changeset 68364:5c579bb9adb1 by nipkow:
list syntax details
The file was modified NEWS (diff)
The file was modified src/Doc/Main/Main_Doc.thy (diff)
The file was modified src/Doc/Main/document/root.tex (diff)
Changeset 68363:23b2fad1729a by nipkow:
merged
Changeset 68362:27237ee2e889 by nipkow:
allow tuple patterns in list comprehensions
The file was modified src/HOL/List.thy (diff)