src/Tools/Haskell/Build.thy
7 months ago wenzelm 2018-11-05 support sub-directories, i.e. structure module names;
7 months ago wenzelm 2018-11-03 support for Isabelle tools in Haskell;