Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more Haskell operations;
  2. merged
  3. revert 0faa68dedce5: very slow;
  4. tuned;
  5. add/rename some theorems about Map(pings)
Changeset 74161:3f371ba2b4fc by wenzelm:
more Haskell operations;
The file was modified src/Pure/System/options.ML (diff)
The file was modified src/Tools/Haskell/Haskell.thy (diff)
The file was modified src/Tools/Haskell/Test.thy (diff)
Changeset 74160:b5eba4717648 by wenzelm:
merged
Changeset 74159:c6bce3633c53 by wenzelm:
revert 0faa68dedce5: very slow;
The file was modified src/Pure/proofterm.ML (diff)
Changeset 74158:1cb0ad6f9a2d by wenzelm:
tuned;
The file was modified src/Pure/General/time.scala (diff)
The file was modified src/Pure/General/timing.ML (diff)
The file was modified src/Pure/System/bash.ML (diff)
The file was modified src/Pure/System/bash.scala (diff)
Changeset 74157:8e2355ddce1b by lukas stevens _mail@lukas-stevens.de_:
add/rename some theorems about Map(pings)
The file was modified src/HOL/Library/AList.thy (diff)
The file was modified src/HOL/Library/Mapping.thy (diff)
The file was modified src/HOL/Library/RBT_Mapping.thy (diff)
The file was modified src/HOL/Map.thy (diff)