Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. move virtual machine node;
  2. generalized
  3. more theorems
  4. another rule on numerals
  5. bit on numerals
  6. more complete rules on numerals
  7. more complete rules on numerals
Changeset 71761:ad7ac7948d57 by wenzelm:
move virtual machine node;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 71760:e4e05fcd8937 by haftmann:
generalized
The file was modified src/HOL/Num.thy (diff)
The file was modified src/HOL/ex/Word.thy (diff)
Changeset 71759:816e52bbfa60 by haftmann:
more theorems
The file was modified src/HOL/Library/Type_Length.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
Changeset 71758:2e3fa4e7cd73 by haftmann:
another rule on numerals
The file was modified src/HOL/Num.thy (diff)
Changeset 71757:02c50bba9304 by haftmann:
bit on numerals
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
Changeset 71756:3d1f72d25fc3 by haftmann:
more complete rules on numerals
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Word/Bits_Int.thy (diff)
Changeset 71755:318695613bb7 by haftmann:
more complete rules on numerals
The file was modified src/HOL/Parity.thy (diff)