Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-05-30 19:53:36 -0700 (Tue, 30 May 2000)
Revision: 3001
Log message:
Fixed a nasty bug in Jprover (after chaising it with Stephan for couple of hours)
Fixed a bug in the MetaPRL-Jprover interface.
Imported some Jprover tests and examples.