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

Interacting witn NDL



2004-08-06