src/HOL/UNITY/ROOT.ML
author paulson
Wed Aug 05 10:57:25 1998 +0200 (1998-08-05)
changeset 5253 82a5ca6290aa
parent 4776 1f9362e769c1
child 5357 6efb2b87610c
permissions -rw-r--r--
New record type of programs
paulson@4776
     1
(*  Title:      HOL/UNITY/ROOT
paulson@4776
     2
    ID:         $Id$
paulson@4776
     3
    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
paulson@4776
     4
    Copyright   1998  University of Cambridge
paulson@4776
     5
paulson@4776
     6
Root file for UNITY proofs.
paulson@4776
     7
*)
paulson@4776
     8
paulson@4776
     9
HOL_build_completed;    (*Make examples fail if HOL did*)
paulson@4776
    10
paulson@4776
    11
writeln"Root file for HOL/UNITY";
paulson@4776
    12
set proof_timing;
paulson@4776
    13
time_use_thy "Deadlock";
paulson@4776
    14
time_use_thy "WFair";
paulson@4776
    15
time_use_thy "Common";
paulson@4776
    16
time_use_thy "Network";
paulson@4776
    17
time_use_thy "Token";
paulson@4776
    18
time_use_thy "Channel";
paulson@4776
    19
time_use_thy "Mutex";
paulson@4776
    20
time_use_thy "FP";
paulson@4776
    21
time_use_thy "Reach";
paulson@5253
    22
time_use_thy "Handshake";