src/HOL/Quickcheck_Benchmark/Needham_Schroeder_Unguided_Attacker_Example.thy
2012-07-26 bulwahn 2012-07-26 moved another larger quickcheck example to Quickcheck_Benchmark