Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sat, 19 Nov 2005 14:21:00 +0100 FOL: -p 2;
changeset
wenzelm [Sat, 19 Nov 2005 14:21:00 +0100] rev 18203
FOL: -p 2;
Fri, 18 Nov 2005 07:13:58 +0100 presburger method updated to deal better with mod and div, tweo lemmas added to Divides.thy
changeset
chaieb [Fri, 18 Nov 2005 07:13:58 +0100] rev 18202
presburger method updated to deal better with mod and div, tweo lemmas added to Divides.thy
Fri, 18 Nov 2005 07:10:37 +0100 -- changed the interface of functions vampire_oracle and eprover_oracle.
changeset
mengj [Fri, 18 Nov 2005 07:10:37 +0100] rev 18201
-- changed the interface of functions vampire_oracle and eprover_oracle.
Fri, 18 Nov 2005 07:10:00 +0100 -- terms are fully typed.
changeset
mengj [Fri, 18 Nov 2005 07:10:00 +0100] rev 18200
-- terms are fully typed. -- only the top-level boolean terms are predicates.
Fri, 18 Nov 2005 07:08:54 +0100 -- before converting axiom and conjecture clauses into ResClause.clause format, perform "check_is_fol_term" first.
changeset
mengj [Fri, 18 Nov 2005 07:08:54 +0100] rev 18199
-- before converting axiom and conjecture clauses into ResClause.clause format, perform "check_is_fol_term" first.
Fri, 18 Nov 2005 07:08:18 +0100 -- combined common CNF functions used by HOL and FOL axioms, the difference between conversion of HOL and FOL theorems only comes in when theorems are converted to ResClause.clause or ResHolClause.clause format.
changeset
mengj [Fri, 18 Nov 2005 07:08:18 +0100] rev 18198
-- combined common CNF functions used by HOL and FOL axioms, the difference between conversion of HOL and FOL theorems only comes in when theorems are converted to ResClause.clause or ResHolClause.clause format.
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle