src/HOL/NSA/Filter.thy
2008-07-25 haftmann 2008-07-25 dropped locale (open)
2008-07-03 huffman 2008-07-03 move nonstandard analysis theories to NSA directory