src/Tools/Haskell/Haskell.thy
7 months ago wenzelm 2018-11-05 tuned;
7 months ago wenzelm 2018-11-04 more Haskell operations;
7 months ago wenzelm 2018-11-04 ported from src/Pure/General/value.ML;
7 months ago wenzelm 2018-11-03 tuned whitespace;
7 months ago wenzelm 2018-11-03 tuned whitespace;
7 months ago wenzelm 2018-11-03 support for Isabelle tools in Haskell;
7 months ago wenzelm 2018-11-01 support for Isabelle tool development in Haskell;