src/HOL/plain.ML
author wenzelm
Wed Sep 17 21:27:14 2008 +0200 (2008-09-17)
changeset 28263 69eaa97e7e96
parent 27368 9f90ac19e32b
child 29234 60f7fb56f8cd
permissions -rw-r--r--
moved global ML bindings to global place;
     1 (*  Title:      HOL/plain.ML
     2     ID:         $Id$
     3  
     4 Classical Higher-order Logic -- plain Tool bootstrap.
     5 *)
     6 
     7 use_thy "Plain";