src/HOL/Auth/Yahalom_Bad.ML
1999-09-07 wenzelm 1999-09-07 isatool expandshort;
1999-03-18 paulson 1999-03-18 added new theory Yahalom_Bad