src/HOL/Auth/Yahalom_Bad.ML
Tue, 07 Sep 1999 10:40:58 +0200 wenzelm isatool expandshort;
Thu, 18 Mar 1999 10:41:33 +0100 paulson added new theory Yahalom_Bad
less more (0) tip