Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature: prefer existing Haskell operations;
  2. more Haskell operations;
  3. tuned signature;
  4. tuned comments;
  5. tuned;
  6. consolidation of rules for bit operations
Changeset 74168:f0b2136e2204 by wenzelm:
tuned signature: prefer existing Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74167:25c672c32467 by wenzelm:
more Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 74166:ff3dbb2be924 by wenzelm:
tuned signature;
The file was modified src/Pure/Concurrent/future.ML (diff)
The file was modified src/Pure/General/position.ML (diff)
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/PIDE/document.ML (diff)
The file was modified src/Pure/Thy/export.ML (diff)
Changeset 74165:86163ea20e77 by wenzelm:
tuned comments;
The file was modified src/Pure/General/position.ML (diff)
Changeset 74164:7b93dc3f2b34 by wenzelm:
tuned;
The file was modified src/Pure/ML/ml_antiquotations2.ML (diff)
Changeset 74163:afe3c8ae1624 by haftmann:
consolidation of rules for bit operations
The file was modified NEWS (diff)
The file was modified src/HOL/Bit_Operations.thy (diff)
The file was modified src/HOL/Library/Word.thy (diff)