1
(* $Id$ *)
2
3
setmp_noncritical print_mode (! print_mode @ ["no_brackets", "no_type_brackets"])
4
use_thy "Unix";