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
     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_thy"Test";
     7 use_thy"Type";