HOME   PREV   NEXT (Logic Minimisation.)

Restructuring to accommodate timespecs.