src/HOL/Auth/Recur.thy
Thu, 19 Dec 1996 11:58:39 +0100 paulson Extensive tidying and simplification, largely stemming from
Wed, 18 Dec 1996 17:46:38 +0100 paulson Recursive Authentication Protocol
less more (0) tip