Thu, 10 May 2012 12:23:20 +0200 temporarily comment out broken nitpick example
huffman [Thu, 10 May 2012 12:23:20 +0200] rev 47903
temporarily comment out broken nitpick example
Thu, 10 May 2012 09:10:43 +0200 convert real number theory to use lifting/transfer
huffman [Thu, 10 May 2012 09:10:43 +0200] rev 47902
convert real number theory to use lifting/transfer
Mon, 07 May 2012 15:04:17 +0200 tuned ordering of lemmas
huffman [Mon, 07 May 2012 15:04:17 +0200] rev 47901
tuned ordering of lemmas
Thu, 10 May 2012 10:07:41 +0200 pass fewer facts to LEO-II and Satallax
blanchet [Thu, 10 May 2012 10:07:41 +0200] rev 47900
pass fewer facts to LEO-II and Satallax
Thu, 10 May 2012 10:07:40 +0200 tweak LEO-II setup
blanchet [Thu, 10 May 2012 10:07:40 +0200] rev 47899
tweak LEO-II setup
Thu, 10 May 2012 10:07:40 +0200 use raw monomorphic encoding with Waldmeister, to avoid overloading it with too many function symbols (as would be the case using mangled monomorphic encodings)
blanchet [Thu, 10 May 2012 10:07:40 +0200] rev 47898
use raw monomorphic encoding with Waldmeister, to avoid overloading it with too many function symbols (as would be the case using mangled monomorphic encodings)
Wed, 09 May 2012 11:24:38 +0200 build Pure_64 with new settings
bulwahn [Wed, 09 May 2012 11:24:38 +0200] rev 47897
build Pure_64 with new settings
Wed, 09 May 2012 11:17:54 +0200 tuned
bulwahn [Wed, 09 May 2012 11:17:54 +0200] rev 47896
tuned
Wed, 09 May 2012 10:39:54 +0200 playing around with mira settings
bulwahn [Wed, 09 May 2012 10:39:54 +0200] rev 47895
playing around with mira settings
Tue, 08 May 2012 14:35:13 +0200 defining and proving Executable_Relation with lift_definition and transfer
bulwahn [Tue, 08 May 2012 14:35:13 +0200] rev 47894
defining and proving Executable_Relation with lift_definition and transfer
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip