src/HOL/Auth/ZhouGollmann.thy
2003-08-13 paulson 2003-08-13 possibility proof!
2003-08-12 paulson 2003-08-12 ZhouGollmann: new example (fair non-repudiation protocol)