Theory E_All_ABCD

(*  Title:       variants/e_all_abcd/E_All_ABCD.thy
    License:     BSD 2-Clause. See LICENSE.
    Author:      Timothy Bourke, Inria
    Author:      Peter Höfner, NICTA
*)

theory %invisible E_All_ABCD
imports "../../Aodv_Basic"
begin

chapter "Variants A--D: All proposed modifications"

text ‹
  This model combines the changes proposed in each of the individual variant 
  models.
›

end %invisible