isabelle: Changelog

haftmann [Wed, 19 Oct 2005 17:19:52 +0200] rev 17912

added subgraph

haftmann [Wed, 19 Oct 2005 17:19:37 +0200] rev 17911

added join

haftmann [Wed, 19 Oct 2005 16:32:09 +0200] rev 17910

slight improvements for website

wenzelm [Wed, 19 Oct 2005 14:51:12 +0200] rev 17909

moved VAMPIRE_HOME, E_HOME to section "External reasoning tools" -- commented out by default!

mengj [Wed, 19 Oct 2005 13:59:33 +0200] rev 17908

More functions are added to the signature of ResClause

mengj [Wed, 19 Oct 2005 10:25:46 +0200] rev 17907

*** empty log message ***

Wed, 19 Oct 2005 06:46:45 +0200 added 2 lemmas

nipkow [Wed, 19 Oct 2005 06:46:45 +0200] rev 17906

added 2 lemmas

mengj [Wed, 19 Oct 2005 06:33:24 +0200] rev 17905

Added files in order to use external ATPs as oracles and invoke these ATPs by calling Isabelle methods (currently "vampire" and "eprover").

wenzelm [Tue, 18 Oct 2005 17:59:37 +0200] rev 17904

simplified interfaces proof/proof' etc.: perform ProofHistory.apply(s)/current internally;

wenzelm [Tue, 18 Oct 2005 17:59:36 +0200] rev 17903

tuned error msg;

isabelle