Boole.load
Bertrand Serlet March 27, 1986 5:14:09 pm PST
Install CellLibraries
Run BoolePackage