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
oheimb@13208
     1
(*  Title:    HOL/Prolog/ROOT.ML
oheimb@13208
     2
    ID:       $Id$
oheimb@13208
     3
    Author:   David von Oheimb (based on a lecture on Lambda Prolog by Nadathur)
oheimb@13208
     4
    License:  GPL (GNU GENERAL PUBLIC LICENSE)
oheimb@13208
     5
*)
oheimb@13208
     6
oheimb@9015
     7
use_thy"Test";
oheimb@9015
     8
use_thy"Type";