demos/README

   1 Here are some standalone sample programs developed using Prop.
   2
   3 Programs       Uses
   4 =============================================================================
   5 logic          |  datatypes, parsing, pretty printing, rewriting
   6 inference      |  inference
   7 persistence    |  datatypes, pretty printing, persistence
   8 prog           |  datatypes, pretty printing, rewriting
   9 exp            |  datatypes, parsing, pretty printing, tree parsing
  10                |
  11 rewrite-trick1 |
  12 rewrite-trick2 |  Various ways of preventing the rewriter from retransforming
  13 rewrite-trick3 |  a replacement term
  14 rewrite-trick4 |
  15
  16 rewrite-trick5 |  How to specify and use secondary internal index for
  17                |  rewriting.
  18 =============================================================================