next up previous contents
Next: Using the GUI: the Up: Natural Deduction Language Previous: Contents   Contents

Interacting witn NDL



2004-08-04