src/Tools/Code/code_haskell.ML
Thu, 13 Apr 2017 10:10:12 +0200 haftmann for generated Haskell code, never use let-binds with pattern matching: irrefutable patterns destroy partial correctness
Mon, 06 Apr 2015 17:06:48 +0200 wenzelm @{command_spec} is superseded by @{command_keyword};
less more (0) -100 -30 -10 -2 tip