isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

fix headers;
2005-10-19, by wenzelm
added table functor instance for pairs of strings
2005-10-19, by haftmann
added subgraph
2005-10-19, by haftmann
added join
2005-10-19, by haftmann
slight improvements for website
2005-10-19, by haftmann
moved VAMPIRE_HOME, E_HOME to section "External reasoning tools" -- commented out by default!
2005-10-19, by wenzelm
More functions are added to the signature of ResClause
2005-10-19, by mengj
*** empty log message ***
2005-10-19, by mengj
added 2 lemmas
2005-10-19, by nipkow
Added files in order to use external ATPs as oracles and invoke these ATPs by calling Isabelle methods (currently "vampire" and "eprover").
2005-10-19, by mengj
simplified interfaces proof/proof' etc.: perform ProofHistory.apply(s)/current internally;
2005-10-18, by wenzelm
tuned error msg;
2005-10-18, by wenzelm
renamed atomize_rule to atomize_cterm;
2005-10-18, by wenzelm
ObjectLogic.atomize_cterm;
2005-10-18, by wenzelm
use simplified Toplevel.proof etc.;
2005-10-18, by wenzelm
back: Toplevel.actual/skip_proof;
2005-10-18, by wenzelm
renamed set_context to context;
2005-10-18, by wenzelm
renamed set_context to context;
2005-10-18, by wenzelm
functor: no Simplifier argument;
2005-10-18, by wenzelm
moved helper lemma to HilbertChoice.thy;
2005-10-18, by wenzelm
Simplifier.theory_context;
2005-10-18, by wenzelm
added lemma exE_some (from specification_package.ML);
2005-10-18, by wenzelm
Simplifier.theory_context;
2005-10-18, by wenzelm
tuned error msg;
2005-10-18, by wenzelm
Simplifier.context/theory_context;
2005-10-18, by wenzelm
updated;
2005-10-18, by wenzelm
new interface to make_conjecture_clauses
2005-10-18, by paulson
* Simplifier: simpset of a running simplification process contains a proof context;
2005-10-17, by wenzelm
added type_solver (uses Simplifier.the_context);
2005-10-17, by wenzelm
added pos/negDivAlg_induct declarations (from Main.thy);
2005-10-17, by wenzelm

less more | (0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle