Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • libcfa/src/parseconfig.hfa

    r6a93e4d ra3cadfc  
    107107
    108108
    109 forall(T | relational( T ))
     109forall(T | Relational( T ))
    110110[ bool ] is_nonnegative( & T );
    111111
    112 forall(T | relational( T ))
     112forall(T | Relational( T ))
    113113[ bool ] is_positive( & T );
    114114
    115 forall(T | relational( T ))
     115forall(T | Relational( T ))
    116116[ bool ] is_nonpositive( & T );
    117117
    118 forall(T | relational( T ))
     118forall(T | Relational( T ))
    119119[ bool ] is_negative( & T );
    120120
Note: See TracChangeset for help on using the changeset viewer.