src/HOL/NSA/HLog.thy
2015-04-11 paulson 2015-04-11 Overloading of ln and powr, but "approximation" no longer works for powr. Code generation also fails due to type ambiguity in scala.
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-03-20 paulson 2014-03-20 fixing messy proofs
2013-03-26 hoelzl 2013-03-26 HOL-NSA should only import Complex_Main
2010-07-12 haftmann 2010-07-12 dropped superfluous [code del]s
2008-10-10 haftmann 2008-10-10 `code func` now just `code`
2008-07-03 huffman 2008-07-03 move nonstandard analysis theories to NSA directory