parenthesing let-expressions in OCaml similar to case expressions avoids precendence problems due to ambiguous scope;
with explicit regression setup
This directory contains some administrative tools for clones of the
Isabelle repository. They do not appear in proper distributions.