Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more Haskell operations;
Changeset 69473:f71598c11fae by wenzelm:
more Haskell operations;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
The file was modified src/Tools/Haskell/Test.thy (diff)