src/HOL/Prolog/ROOT.ML
author haftmann
Fri Apr 20 11:21:42 2007 +0200 (2007-04-20)
changeset 22744 5cbe966d67a2
parent 14981 e73f8140af78
child 24104 719fbe4fb77f
permissions -rw-r--r--
Isar definitions are now added explicitly to code theorem table
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
*)
oheimb@13208
     5
oheimb@9015
     6
use_thy"Test";
oheimb@9015
     7
use_thy"Type";