Sun, 14 Feb 2010 17:46:28 +0100 optionally localize assertion labels (based on user-defined offsets) to reduce the effort of label adaptions after changes to the source program
boehmes [Sun, 14 Feb 2010 17:46:28 +0100] rev 35125
optionally localize assertion labels (based on user-defined offsets) to reduce the effort of label adaptions after changes to the source program
Sun, 14 Feb 2010 00:26:48 +0100 formal markup of constants;
wenzelm [Sun, 14 Feb 2010 00:26:48 +0100] rev 35124
formal markup of constants;
Sat, 13 Feb 2010 23:24:57 +0100 modernized structures;
wenzelm [Sat, 13 Feb 2010 23:24:57 +0100] rev 35123
modernized structures;
Sat, 13 Feb 2010 23:16:06 +0100 authentic proof syntax;
wenzelm [Sat, 13 Feb 2010 23:16:06 +0100] rev 35122
authentic proof syntax;
Fri, 12 Feb 2010 14:28:01 +0100 tuned import order
haftmann [Fri, 12 Feb 2010 14:28:01 +0100] rev 35121
tuned import order
Fri, 12 Feb 2010 09:49:28 +0100 tuned comments
haftmann [Fri, 12 Feb 2010 09:49:28 +0100] rev 35120
tuned comments
Thu, 11 Feb 2010 23:50:38 +0100 merged
wenzelm [Thu, 11 Feb 2010 23:50:38 +0100] rev 35119
merged
Thu, 11 Feb 2010 12:26:50 -0800 merged
huffman [Thu, 11 Feb 2010 12:26:50 -0800] rev 35118
merged
Thu, 11 Feb 2010 12:26:07 -0800 change generated lemmas dist_eqs and dist_les to iff-style
huffman [Thu, 11 Feb 2010 12:26:07 -0800] rev 35117
change generated lemmas dist_eqs and dist_les to iff-style
Thu, 11 Feb 2010 17:48:55 +0100 unfold quantifiers (Ball, Bex, Ex1)
boehmes [Thu, 11 Feb 2010 17:48:55 +0100] rev 35116
unfold quantifiers (Ball, Bex, Ex1)
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip