Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-07 02:26:01 -0700 (Mon, 07 Apr 2003)
Revision: 4394
Log message:

      - Added the basic intuitionistic rules to the cs101 theory
      - Term grammar: hyp variables should be LINDENT's, not just word_or_string's
      - File_base: better error message in the "not found" case.
      

Changes	Path
+1 -1	metaprl/filter/base/term_grammar.ml
+1 -3	metaprl/mllib/file_base.ml
Properties	metaprl-branches/CS101_branch/theories/cs101
+4 -3	metaprl-branches/CS101_branch/theories/cs101/Makefile
Added	metaprl-branches/CS101_branch/theories/cs101/cs101_int.ml
Properties	metaprl-branches/CS101_branch/theories/cs101/cs101_int.ml
Added	metaprl-branches/CS101_branch/theories/cs101/cs101_int.mli
Properties	metaprl-branches/CS101_branch/theories/cs101/cs101_int.mli