Fri, 13 Sep 1996 18:46:08 +0200 paulson Reordering of premises for cut theorems, and new law MPair_synth_analz
Fri, 13 Sep 1996 13:22:08 +0200 paulson No longer assumes Alice is not the Enemy in NS3.
Fri, 13 Sep 1996 13:20:22 +0200 paulson Uses the improved enemy_analz_tac of Shared.ML, with simpler proofs
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip