src/HOL/Auth/Yahalom_Bad.thy
Wed, 03 Oct 2001 20:54:16 +0200 wenzelm tuned parentheses in relational expressions;
Thu, 12 Apr 2001 12:45:05 +0200 paulson converted many HOL/Auth theories to Isar scripts
Tue, 27 Feb 2001 16:13:23 +0100 paulson Some X-symbols for <notin>, <noteq>, <forall>, <exists>
Thu, 18 Mar 1999 10:41:33 +0100 paulson added new theory Yahalom_Bad
less more (0) tip