Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-21 20:40:59 -0800 (Mon, 21 Mar 2005)
Revision: 6994
Log message:
- Iforms now do not have to be duplicated in .mli and .ml - iforms that exist
in .mli, but not in .ml will now be automatically copied to .ml.
- No ML code is generated for iforms now; since filter_grammar handles
iforms internally, there is no need for explicit ML code.
- The .cmoz/.cmiz data structure for iforms now contains neither proofs nor
resources (note - MetaPRL should still be able to read older binaries).
- Removed references to arguments and conditions from the code for iforms,
since iforms can not be conditional and can not take arguments.