src/HOLCF/IOA/ABP/ROOT.ML
author wenzelm
Thu, 22 Nov 2007 14:51:34 +0100
changeset 25456 6f79698f294d
parent 24584 01e83ffa6c54
child 26981 0e7ba2749d70
permissions -rw-r--r--
tuned;

(*  Title:      HOLCF/IOA/ABP/ROOT.ML
    ID:         $Id$
    Author:     Olaf Mueller

This is the ROOT file for the Alternating Bit Protocol performed in
I/O-Automata.  *)

goals_limit := 1;

use "Check";
time_use_thy "Correctness";