src/HOL/MiniML/ROOT.ML
author wenzelm
Thu Jan 23 14:19:16 1997 +0100 (1997-01-23)
changeset 2545 d10abc8c11fb
parent 2525 477c05586286
child 6349 f7750d816c21
permissions -rw-r--r--
added AxClasses test;
paulson@2031
     1
(*  Title:      HOL/MiniML/ROOT.ML
nipkow@1300
     2
    ID:         $Id$
nipkow@2525
     3
    Author:     Wolfgang Naraschewski and Tobias Nipkow
nipkow@1300
     4
    Copyright   1995 TUM
nipkow@1300
     5
nipkow@2525
     6
Type inference for MiniML
nipkow@1300
     7
*)
nipkow@1300
     8
paulson@2031
     9
HOL_build_completed;    (*Make examples fail if HOL did*)
nipkow@1300
    10
nipkow@1300
    11
writeln"Root file for HOL/MiniML";
nipkow@1300
    12
nipkow@2525
    13
time_use_thy "W";