src/HOL/Auth/TLS.ML
Tue, 01 Jul 1997 11:11:42 +0200 paulson Baby TLS. Proofs work, but model seems unrealistic
less more (0) tip