Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. proof of concept for algebraically founded word types
  2. more lemmas
  3. option to report results of solve_direct as explicit warnings
  4. modernized option
  5. CONTRIBUTORS
Changeset 64015:c9f3a94cb825 by haftmann:
proof of concept for algebraically founded word types
The file was addedsrc/HOL/ex/Word_Type.thy
The file was modified src/HOL/ROOT (diff)
Changeset 64014:ca1239a3277b by haftmann:
more lemmas
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Int.thy (diff)
The file was modified src/HOL/Transfer.thy (diff)
Changeset 64013:048b7dbfdfa3 by haftmann:
option to report results of solve_direct as explicit warnings
The file was modified NEWS (diff)
The file was modified src/Tools/solve_direct.ML (diff)
Changeset 64012:789f5419926a by haftmann:
modernized option
The file was modified src/Tools/solve_direct.ML (diff)
Changeset 64011:54b785efd547 by haftmann:
CONTRIBUTORS
The file was modified CONTRIBUTORS (diff)