Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2001-06-01 13:57:31 -0700 (Fri, 01 Jun 2001)
Revision: 3246
Log message:

      - The theory ctt_markov (Constructive type theory with Markov
        Principle) is added.
      
      - Some definitions and simple facts are added to itt_int_ext
      

Changes	Path
+1 -0	metaprl/theories/itt/Makefile
Added	metaprl/theories/itt/ctt_markov.ml
Properties	metaprl/theories/itt/ctt_markov.ml
Added	metaprl/theories/itt/ctt_markov.mli
Properties	metaprl/theories/itt/ctt_markov.mli
Added	metaprl/theories/itt/ctt_markov.prla
Properties	metaprl/theories/itt/ctt_markov.prla
+36 -2	metaprl/theories/itt/itt_int_ext.ml
+2 -1	metaprl/theories/itt/itt_int_ext.mli
+2 -2	metaprl/theories/itt/itt_logic.ml