Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. activate simproc for FOL
  2. more rules for FOL also
  3. more simp rules
Changeset 71920:b0da0537f307 by haftmann:
activate simproc for FOL
The file was modified src/FOL/FOL.thy (diff)
Changeset 71919:2e7df6774373 by haftmann:
more rules for FOL also
The file was modified src/FOL/FOL.thy (diff)
The file was modified src/FOL/IFOL.thy (diff)
Changeset 71918:4e0a58818edc by haftmann:
more simp rules
The file was modified src/HOL/Data_Structures/Sorting.thy (diff)
The file was modified src/HOL/Data_Structures/Trie_Fun.thy (diff)
The file was modified src/HOL/HOL.thy (diff)
The file was modified src/HOL/Proofs/Lambda/NormalForm.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)