src/HOL/Auth/Shared.thy
Thu, 26 Sep 1996 12:50:48 +0200 paulson Introduction of "lost" argument
Mon, 23 Sep 1996 18:19:38 +0200 paulson Removal of the Notes constructor
Mon, 09 Sep 1996 18:58:02 +0200 paulson "bad" set simplifies statements of many theorems
Mon, 09 Sep 1996 17:44:20 +0200 paulson Stronger proofs; work for Otway-Rees
Tue, 03 Sep 1996 18:24:42 +0200 paulson Renaming and simplification
Wed, 21 Aug 1996 13:25:27 +0200 paulson Separation of theory Event into two parts:
less more (0) tip