src/HOL/NSA/Filter.thy
2014-01-16 blanchet 2014-01-16 moved 'Zorn' into 'Main', since it's a BNF dependency
2013-05-28 wenzelm 2013-05-28 removed junk (cf. 667961fa6a60);
2013-05-24 popescua 2013-05-24 fixed files broken due to Zorn changes (cf. 59e5dd7b8f9a)
2012-04-15 huffman 2012-04-15 replace locale 'UFT' with new un-named context block feature; use locale begin/end instead of 'in';
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