[isabelle-dev] NEWS: HOL-NSA

Brian Huffman brianh at cs.pdx.edu
Thu Jul 3 18:25:16 CEST 2008

*** 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.

More information about the isabelle-dev mailing list