Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-12 15:54:07 -0700 (Tue, 12 Jul 2005)
Revision: 7587
Log message:

      - Added the impl_intro to the intro resource
      - Added an "axiom" rule.
      

Changes	Path
+5 -3	metaprl/theories/ilc/ilc_core.ml