There's a new version of Lisa available, addressing problems with truth
maintenance and duplicate fact detection. See http://lisa.sf.net for
details.
Cheers,
--
David E. Young
"For wisdom is more precious than rubies,
and nothing you desire can compare with her."
-- Prov. 8:11
"But all the world understands my language."
-- Franz Joseph Haydn (1732-1809)