src/HOL/Auth/OtwayReesBella.thy
2007-08-01 wenzelm 2007-08-01 tuned ML bindings (for multithreading);
2007-07-11 berghofe 2007-07-11 Adapted to new inductive definition package.
2006-11-29 wenzelm 2006-11-29 simplified method setup;
2006-07-08 wenzelm 2006-07-08 tactic/method simpset: maintain proper context;
2006-02-01 paulson 2006-02-01 new and updated protocol proofs by Giamp Bella