Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-08-09 08:59:20 -0700 (Fri, 09 Aug 2002)
Revision: 3780
Log message:
Removed the special-case handling for axioms (rules without arguments and without
assumptions).
*** WARNING ***
This commit breaks binary compatibility! Before doing "cvs update":
- make sure all your proof modifications are exported into .prla files
After "cvs update":
- do "make clean" and erase the theories/*/*.prlb files.