Changeset 1146 for trunk

Show
Ignore:
Timestamp:
07/08/04 15:18:39 (5 years ago)
Author:
pmoura
Message:

Corrected typos.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/examples/NOTES

    r1109 r1146  
    1111 
    1212Each example contains a NOTES file and a loader utility file that may  
    13 be used to load all the example entities. In addtion, most examples  
     13be used to load all the example entities. In addition, most examples  
    1414contain a SCRIPT file with sample queries for your to try. 
    1515 
    … …  
    6969 
    7070logic 
    71     example of a translator of logic propostions to clauses in conjunctive  
     71    example of a translator of logic propositions to clauses in conjunctive  
    7272    normal form 
    7373