src/HOLCF/IOA/ex/ROOT.ML
author wenzelm
Sat, 20 Oct 2007 20:32:23 +0200
changeset 25124 a7dd8d3bf969
parent 24584 01e83ffa6c54
child 33615 261abc2e3155
permissions -rw-r--r--
maintain PolyML.Compiler.printInAlphabeticalOrder in polyml.ML;

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

time_use_thy "TrivEx";
time_use_thy "TrivEx2";