, then it will be in a
logic image separate from HOL, just as it was before.
-- next part --
An HTML attachment was scrubbed...
URL:
https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20080703/f363331e/attachment.htm
*** HOL-NSA ***
* Created new image HOL-NSA, containing theories of nonstandard
analysis which were previously part of HOL-Complex. Entry point
Hyperreal.thy remains valid, but theories formerly using
Complex_Main.thy should now use new entry point Hypercomplex.thy.