src/HOL/Prolog/ROOT.ML
author wenzelm
Wed Sep 17 21:27:14 2008 +0200 (2008-09-17)
changeset 28263 69eaa97e7e96
parent 24104 719fbe4fb77f
child 41589 bbd861837ebc
permissions -rw-r--r--
moved global ML bindings to global place;
     1 (*  Title:    HOL/Prolog/ROOT.ML
     2     ID:       $Id$
     3     Author:   David von Oheimb (based on a lecture on Lambda Prolog by Nadathur)
     4 *)
     5 
     6 use_thys ["Test", "Type"];