Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. documentation for termination_simp attribute
  2. strengthened lemma
Changeset 70276:910dc065b869 by krauss:
documentation for termination_simp attribute
The file was modified src/Doc/Functions/Functions.thy (diff)
The file was modified src/Doc/Isar_Ref/HOL_Specific.thy (diff)
Changeset 70275:91a2f79b546b by nipkow:
strengthened lemma
The file was modified src/HOL/List.thy (diff)