Thu, 06 Apr 2017 22:04:30 +0200 clarified signature: tree structure is not essential;
wenzelm [Thu, 06 Apr 2017 22:04:30 +0200] rev 65415
clarified signature: tree structure is not essential;
Thu, 06 Apr 2017 21:10:35 +0200 merged
wenzelm [Thu, 06 Apr 2017 21:10:35 +0200] rev 65414
merged
Thu, 06 Apr 2017 21:01:39 +0200 misc tuning and modernization;
wenzelm [Thu, 06 Apr 2017 21:01:39 +0200] rev 65413
misc tuning and modernization;
Thu, 06 Apr 2017 16:39:13 +0200 merged
Lars Hupel <lars.hupel@mytum.de> [Thu, 06 Apr 2017 16:39:13 +0200] rev 65412
merged
Wed, 05 Apr 2017 19:23:41 +0200 use Item_Net to store inductive info
Lars Hupel <lars.hupel@mytum.de> [Wed, 05 Apr 2017 19:23:41 +0200] rev 65411
use Item_Net to store inductive info
Thu, 06 Apr 2017 16:08:48 +0200 tuned whitespace;
wenzelm [Thu, 06 Apr 2017 16:08:48 +0200] rev 65410
tuned whitespace;
Thu, 06 Apr 2017 16:01:39 +0200 tuned signature;
wenzelm [Thu, 06 Apr 2017 16:01:39 +0200] rev 65409
tuned signature;
Thu, 06 Apr 2017 15:57:33 +0200 more accurate qualified lookup;
wenzelm [Thu, 06 Apr 2017 15:57:33 +0200] rev 65408
more accurate qualified lookup; tuned;
Thu, 06 Apr 2017 15:44:16 +0200 clarified fall-back name;
wenzelm [Thu, 06 Apr 2017 15:44:16 +0200] rev 65407
clarified fall-back name;
Thu, 06 Apr 2017 15:20:45 +0200 tuned signature;
wenzelm [Thu, 06 Apr 2017 15:20:45 +0200] rev 65406
tuned signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip