Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-05-27 11:08:16 -0700 (Sun, 27 May 2001)
Revision: 3238
Log message:
I rewrote the Itt_squash tactics and the squash_resource implementation
and made sure most of the theories expand.
- I implemented squash_resource annotations - see documentation for
more information
- autoT will now always attempt to squash the sequent and unsquash all
the hypotheses
Left to do:
- Update the documentation, especially the itt_quickref.txt
- Itt_collections would not expand, but I was planning to rewrite it anyway,
so it does not make sense to try fixing the current version.
- Itt_fset would not expand, it needs lots of work, including (preferably)
some improvements to autoT (not squash-related).