Next:
Using the GUI: the
Up:
Natural Deduction Language
Previous:
Installing NDL
 
Contents
Interacting witn
NDL
2004-08-06