Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more Haskell operations;
  2. ported from src/Pure/General/value.ML;
  3. Faster Braun tree functions
  4. more lemmas
Changeset 69234:2dec32c7313f by wenzelm:
more Haskell operations;
The file was modified src/Pure/PIDE/xml.ML (diff)
The file was modified src/Tools/Haskell/Haskell.thy (diff)
The file was modified src/Tools/Haskell/Library.hs (diff)
The file was modified src/Tools/Haskell/Markup.hs (diff)
The file was modified src/Tools/Haskell/XML.hs (diff)
Changeset 69233:560263485988 by wenzelm:
ported from src/Pure/General/value.ML;
The file was addedsrc/Tools/Haskell/Value.hs
The file was modified src/Tools/Haskell/Haskell.thy (diff)
The file was modified src/Tools/Haskell/haskell.ML (diff)
Changeset 69232:2b913054a9cf by nipkow:
Faster Braun tree functions
The file was modified src/HOL/Data_Structures/Array_Braun.thy (diff)
Changeset 69231:6b90ace5e5eb by nipkow:
more lemmas
The file was modified src/HOL/Groups_List.thy (diff)