src/HOL/Auth/Smartcard/ShoupRubinBella.thy
2009-03-16 wenzelm 2009-03-16 simplified method setup;
2009-03-13 wenzelm 2009-03-13 unified type Proof.method and pervasive METHOD combinators;
2007-08-01 wenzelm 2007-08-01 tuned ML bindings (for multithreading);
2007-07-21 wenzelm 2007-07-21 tactics: avoid dynamic reference to accidental theory context (via ML_Context.the_context etc.);
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