src/HOL/Real/Real.thy
author wenzelm
Wed Sep 17 21:27:14 2008 +0200 (2008-09-17)
changeset 28263 69eaa97e7e96
parent 27964 1e0303048c0b
permissions -rw-r--r--
moved global ML bindings to global place;
     1 (* $Id$ *)
     2 
     3 theory Real
     4 imports ContNotDenum RealVector
     5 begin
     6 end