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