replaced exception TableFun/GraphFun.DUPS by TableFun/GraphFun.DUP;
(* Title: LCF/ex/ROOT.ML ID: $Id$ Author: Tobias Nipkow Copyright 1991 University of CambridgeSome examples from Lawrence Paulson's book Logic and Computation.*)time_use_thy "Ex1";time_use_thy "Ex2";time_use_thy "Ex3";time_use_thy "Ex4";