Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. explicit predicate for confined bit range avoids cyclic rewriting in presence of extensionality rule for bit values (contributed by Thomas Sewell)
  2. more latex macros;
  3. tuned;
  4. clarified signature;
Changeset 74309:42523fbf643b by haftmann:
explicit predicate for confined bit range avoids cyclic rewriting in presence of extensionality rule for bit values (contributed by Thomas Sewell)
The file was modified src/HOL/Bit_Operations.thy (diff)
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/HOL/Library/Word.thy (diff)
The file was modified src/HOL/String.thy (diff)
Changeset 74308:7466b2a3905a by wenzelm:
more latex macros;
The file was modified lib/texinputs/isabellesym.sty (diff)
Changeset 74307:de4b3abaf3ca by wenzelm:
tuned;
The file was modified src/Tools/VSCode/src/language_server.scala (diff)
Changeset 74306:a117c076aa22 by wenzelm:
clarified signature;
The file was modified src/HOL/Tools/Nitpick/kodkod.scala (diff)
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/ci_profile.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/ML/ml_console.scala (diff)
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/command_line.scala (diff)
The file was modified src/Pure/System/getopts.scala (diff)
The file was modified src/Pure/System/process_result.scala (diff)
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
The file was modified src/Tools/VSCode/src/language_server.scala (diff)
The file was modified src/Tools/jEdit/src/main.scala (diff)
The file was modified src/Tools/jEdit/src/session_build.scala (diff)