next up previous

13.5 DEFFACTS COMMANDS

The following commands manipulate deffacts.

13.5.1 Displaying the Text of a Deffacts

13.5.2 Displaying the List of Deffacts

13.5.3 Deleting a Deffacts



next up previous