Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature: proper exports;
  2. more Haskell operations;
Changeset 69794:a19fdf64726c by wenzelm:
tuned signature: proper exports;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 69793:0f2dc49250fb by wenzelm:
more Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)