Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. added lemma
  2. added simp rule
Changeset 64447:e44f5c123f26 by nipkow:
added lemma
The file was modified src/HOL/Nat.thy (diff)
Changeset 64446:ec766f7b887e by nipkow:
added simp rule
The file was modified src/HOL/Transcendental.thy (diff)