Thu, 13 Aug 2015 15:22:11 +0200 qualified adjust_*
haftmann [Thu, 13 Aug 2015 15:22:11 +0200] rev 60930
qualified adjust_*
Thu, 13 Aug 2015 10:05:58 +0200 more lemmas
haftmann [Thu, 13 Aug 2015 10:05:58 +0200] rev 60929
more lemmas
Thu, 13 Aug 2015 16:47:00 +0200 unfold intermediate definitions (stemming from composition) in lifted bnf operations
traytel [Thu, 13 Aug 2015 16:47:00 +0200] rev 60928
unfold intermediate definitions (stemming from composition) in lifted bnf operations
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip