src/HOL/NSA/HLog.thy
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