Boole.install
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Bertrand Serlet September 1, 1987 12:30:33 pm PDT
Barth, April 2, 1987 11:40:47 am PST
Install BooleFSA BooleCascode