next up previous
Next: 2.7. EXERCISE: Asserting Propositions, Up: 2. BUILDING AND FINDING Previous: 2.5. Correcting Mistakes, part

2.6. Resetting a Network

Let's start over. To do that, you can reset the network with the SNePSUL command resetnet, which needs no arguments. For other options, see §4.1, below, and UM§2.8. So,

William J. Rapaport 2003-09-22