adding creation of exhaustive generators for records; simplifying dependencies in Main theory
(* Title: HOL/HOLCF/IOA/ABP/ROOT.ML
Author: Olaf Mueller
This is the ROOT file for the Alternating Bit Protocol performed in
I/O-Automata.
*)
use_thys ["Correctness"];