Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-23 09:07:41 -0800 (Tue, 23 Dec 2003)
Revision: 5207
Log message:

      Started (partial, etc) order theory.
      Currently we have to decide 3 issues:
      
      1.I define relation[i,rel] where rel is the label for particular relation, so you can have
      relation[i,<=], relation[i,>], etc. Do you think it's a good idea or variable labels are not well
      supported (or pain to use)
      
      2.I defined propositional relation, may be it is better to define boolean relations, may be both.
      Itt_int uses boolean relation as primitive one and propositional relations are "assert"s of booleans.
      
      3.One relation (say <) implies <=,>,>=, etc don't know how to make it nice.
      

Changes	Path
+1 -0	metaprl/theories/itt/OMakefile
Added	metaprl/theories/itt/itt_order.ml
Properties	metaprl/theories/itt/itt_order.ml
Added	metaprl/theories/itt/itt_order.mli
Properties	metaprl/theories/itt/itt_order.mli