Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-04 16:12:47 -0700 (Fri, 04 Jun 2004)
Revision: 5855
Log message:
(Merging the quote_param branch)
This commit is a first step towards adding reflective reasoning capabilities
to MetaPRL. This adds:
- a "Quote" parameter (represented as "@" on I/O)
- support for basic quoting/unquoting (no variable or sequent support yet) to
the term modules.