isabelle: Changelog

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

Fri, 28 Oct 2005 09:35:04 +0200 removed obfuscating PStrStrTab

haftmann [Fri, 28 Oct 2005 09:35:04 +0200] rev 18007

removed obfuscating PStrStrTab

Fri, 28 Oct 2005 08:40:55 +0200 reachable - abandoned foldl_map in favor of fold_map

haftmann [Fri, 28 Oct 2005 08:40:55 +0200] rev 18006

reachable - abandoned foldl_map in favor of fold_map

Fri, 28 Oct 2005 02:30:53 +0200 Added Tools/res_hol_clause.ML

mengj [Fri, 28 Oct 2005 02:30:53 +0200] rev 18005

Added Tools/res_hol_clause.ML

Fri, 28 Oct 2005 02:30:12 +0200 Added a new file res_hol_clause.ML to Reconstruction.thy. This file is used to translate HOL formulae into FOL clauses.

mengj [Fri, 28 Oct 2005 02:30:12 +0200] rev 18004

Added a new file res_hol_clause.ML to Reconstruction.thy. This file is used to translate HOL formulae into FOL clauses.

Fri, 28 Oct 2005 02:29:01 +0200 Added "writeln_strs" to the signature

mengj [Fri, 28 Oct 2005 02:29:01 +0200] rev 18003

Added "writeln_strs" to the signature

Fri, 28 Oct 2005 02:28:20 +0200 Added several new functions that are used to prove HOL goals. Added new methods "vampireH" and "eproverH" that can prove both FOL and HOL goals. The old "vampire" and "eprover" methods are renamed to "vampireF" and "eproverF"; they can only prove FOL goals.

mengj [Fri, 28 Oct 2005 02:28:20 +0200] rev 18002

Added several new functions that are used to prove HOL goals. Added new methods "vampireH" and "eproverH" that can prove both FOL and HOL goals. The old "vampire" and "eprover" methods are renamed to "vampireF" and "eproverF"; they can only prove FOL goals.

(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle