Tue, 03 Sep 2013 21:46:40 +0100 brought up to date with TPTP_Proof;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53389
brought up to date with TPTP_Proof;
Tue, 03 Sep 2013 21:46:40 +0100 using richer annotation from formula annotations in proof;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53388
using richer annotation from formula annotations in proof;
Tue, 03 Sep 2013 21:46:40 +0100 extracting more info from formula annotation in proof;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53387
extracting more info from formula annotation in proof;
Tue, 03 Sep 2013 21:46:40 +0100 corrected syntax filter;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53386
corrected syntax filter;
Tue, 03 Sep 2013 21:46:40 +0100 reading tptp status code;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53385
reading tptp status code;
Tue, 03 Sep 2013 21:46:40 +0100 improved handling of nonstandard problem names;
sultana [Tue, 03 Sep 2013 21:46:40 +0100] rev 53384
improved handling of nonstandard problem names;
Tue, 03 Sep 2013 22:30:52 +0200 merged
wenzelm [Tue, 03 Sep 2013 22:30:52 +0200] rev 53383
merged
Tue, 03 Sep 2013 22:10:54 +0200 merged
wenzelm [Tue, 03 Sep 2013 22:10:54 +0200] rev 53382
merged
Tue, 03 Sep 2013 22:04:23 +0200 tuned proofs -- less guessing;
wenzelm [Tue, 03 Sep 2013 22:04:23 +0200] rev 53381
tuned proofs -- less guessing;
Tue, 03 Sep 2013 19:58:00 +0200 cases: formal binding of 'assumes', with position provided via invoke_case;
wenzelm [Tue, 03 Sep 2013 19:58:00 +0200] rev 53380
cases: formal binding of 'assumes', with position provided via invoke_case; allow literal equality on type Binding.binding;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip