src/HOL/NSA/Filter.thy
2011-12-28 wenzelm 2011-12-28 reverted some changes for set->predicate transition, according to "hg log -u berghofe -r Isabelle2007:Isabelle2008"; tuned proofs;
2011-03-13 wenzelm 2011-03-13 tuned headers;
2011-01-16 wenzelm 2011-01-16 tuned headers;
2010-04-16 wenzelm 2010-04-16 replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
2008-11-17 haftmann 2008-11-17 tuned unfold_locales invocation
2008-07-25 haftmann 2008-07-25 dropped locale (open)
2008-07-03 huffman 2008-07-03 move nonstandard analysis theories to NSA directory