src/HOL/Prolog/ROOT.ML
author oheimb
Tue Jun 11 16:43:17 2002 +0200 (2002-06-11)
changeset 13208 965f95a3abd9
parent 9015 8006e9009621
child 14981 e73f8140af78
permissions -rw-r--r--
added the usual file headers
     1 (*  Title:    HOL/Prolog/ROOT.ML
     2     ID:       $Id$
     3     Author:   David von Oheimb (based on a lecture on Lambda Prolog by Nadathur)
     4     License:  GPL (GNU GENERAL PUBLIC LICENSE)
     5 *)
     6 
     7 use_thy"Test";
     8 use_thy"Type";