Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. move mono_neutral_cong from AFP/Deep_Learning/PP_Auxiliary
  2. added veriT preprocessing proof reconstruction example
  3. tuned proof
Changeset 64979:20a623d03d71 by hoelzl:
move mono_neutral_cong from AFP/Deep_Learning/PP_Auxiliary
The file was modified src/HOL/Groups_Big.thy (diff)
Changeset 64978:5b9ba120d222 by blanchet:
added veriT preprocessing proof reconstruction example
The file was addedsrc/HOL/ex/veriT_Preprocessing.thy
The file was modified src/HOL/Library/Multiset_Order.thy (diff)
The file was modified src/HOL/ROOT (diff)
Changeset 64977:50f2f10ab576 by nipkow:
tuned proof
The file was modified src/HOL/Data_Structures/Leftist_Heap.thy (diff)