Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned -- avoid spurious exception trace for "the";
  3. proof of concept for residue rings over int using type numerals
Changeset 68037:7eb532e4f8c0 by wenzelm:
merged
Changeset 68036:4c9e79aeadf0 by wenzelm:
tuned -- avoid spurious exception trace for "the";
The file was modified src/Pure/more_thm.ML (diff)
Changeset 68035:6d7cc6723978 by haftmann:
proof of concept for residue rings over int using type numerals
The file was addedsrc/HOL/ex/Residue_Ring.thy
The file was modified src/HOL/ROOT (diff)