Fri, 20 Dec 1996 10:45:08 +0100 testing cvs merge algorithm
sandnerr [Fri, 20 Dec 1996 10:45:08 +0100] rev 2461
testing cvs merge algorithm
Fri, 20 Dec 1996 10:39:44 +0100 testing...
oheimb [Fri, 20 Dec 1996 10:39:44 +0100] rev 2460
testing...
Fri, 20 Dec 1996 10:37:57 +0100 testing: last line w/o nl
oheimb [Fri, 20 Dec 1996 10:37:57 +0100] rev 2459
testing: last line w/o nl
Fri, 20 Dec 1996 10:33:54 +0100 testing: last line w/o nl
oheimb [Fri, 20 Dec 1996 10:33:54 +0100] rev 2458
testing: last line w/o nl
Fri, 20 Dec 1996 10:32:37 +0100 testing...
oheimb [Fri, 20 Dec 1996 10:32:37 +0100] rev 2457
testing...
Fri, 20 Dec 1996 10:32:09 +0100 testing cvs update
oheimb [Fri, 20 Dec 1996 10:32:09 +0100] rev 2456
testing cvs update
Fri, 20 Dec 1996 10:25:26 +0100 Simplification and generalization of the guarantees.
paulson [Fri, 20 Dec 1996 10:25:26 +0100] rev 2455
Simplification and generalization of the guarantees. Nonces are not required for binding, merely for freshness.
Fri, 20 Dec 1996 10:23:48 +0100 Corrected comments
paulson [Fri, 20 Dec 1996 10:23:48 +0100] rev 2454
Corrected comments
Thu, 19 Dec 1996 17:02:27 +0100 corrected headers
oheimb [Thu, 19 Dec 1996 17:02:27 +0100] rev 2453
corrected headers
Thu, 19 Dec 1996 17:01:47 +0100 converted dist_less_one and dist_eq_one to single theorems instead of thm lists
oheimb [Thu, 19 Dec 1996 17:01:47 +0100] rev 2452
converted dist_less_one and dist_eq_one to single theorems instead of thm lists re-added lost Addsimps (dist_less_one::dist_eq_one::one_when);
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip