(******************************************************************************
   This file is part of the Mizar system.
   Copyright (c) Association of Mizar Users.
   License terms: GNU General Public License Version 3 or any later version.
******************************************************************************)

unit inenviro;

interface

uses inout;

var
  AfterClusters: boolean = false;
implementation

end.
