Tue, 29 May 2012 18:00:54 +0200 more explicit treatment of return code vs. session phase;
wenzelm [Tue, 29 May 2012 18:00:54 +0200] rev 48016
more explicit treatment of return code vs. session phase;
Tue, 29 May 2012 17:54:34 +0200 tuned signature;
wenzelm [Tue, 29 May 2012 17:54:34 +0200] rev 48015
tuned signature;
Tue, 29 May 2012 16:39:42 +0200 separate README dockable, which allows to make it more prominent first and remove it later;
wenzelm [Tue, 29 May 2012 16:39:42 +0200] rev 48014
separate README dockable, which allows to make it more prominent first and remove it later;
Tue, 29 May 2012 13:46:50 +0200 added optimisation for equational premises in Quickcheck; added some Quickcheck examples; NEWS
bulwahn [Tue, 29 May 2012 13:46:50 +0200] rev 48013
added optimisation for equational premises in Quickcheck; added some Quickcheck examples; NEWS
Tue, 29 May 2012 11:41:37 +0200 shortened yet more multiset proofs;
huffman [Tue, 29 May 2012 11:41:37 +0200] rev 48012
shortened yet more multiset proofs; added lemma size_multiset_of [simp]
Tue, 29 May 2012 11:30:13 +0200 remove unused intermediate lemma
huffman [Tue, 29 May 2012 11:30:13 +0200] rev 48011
remove unused intermediate lemma
Tue, 29 May 2012 11:13:00 +0200 shortened more multiset proofs
huffman [Tue, 29 May 2012 11:13:00 +0200] rev 48010
shortened more multiset proofs
Tue, 29 May 2012 10:30:47 +0200 shortened some proofs
huffman [Tue, 29 May 2012 10:30:47 +0200] rev 48009
shortened some proofs
Tue, 29 May 2012 10:08:31 +0200 use transfer method for instance proof
huffman [Tue, 29 May 2012 10:08:31 +0200] rev 48008
use transfer method for instance proof
Mon, 28 May 2012 20:51:23 +0200 tweaked remote Vampire setup
blanchet [Mon, 28 May 2012 20:51:23 +0200] rev 48007
tweaked remote Vampire setup
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip