next up previous contents
Next: Logic Up: The LEGO library Previous: Parameters

Providing logic and equality

A default start-up module is given in lib_start_up, this can be copied and personalised as desired by the user.

Init XCC;

Module lib_start_up Import lib_logic lib_ML_eq;





Lego
Fri May 24 19:01:27 BST 1996