Sun, 12 Apr 2015 11:34:09 +0200 | hoelzl | move MOST and INFM in Infinite_Set to Filter; change them to abbreviations over the cofinite filter | file | diff | annotate |
Sun, 12 Apr 2015 11:33:50 +0200 | hoelzl | add cofinite filter | file | diff | annotate |
Sun, 12 Apr 2015 11:33:44 +0200 | hoelzl | add frequently as dual for eventually | file | diff | annotate |
Sun, 12 Apr 2015 11:33:30 +0200 | hoelzl | add quantifier syntax for eventually | file | diff | annotate |
Sun, 12 Apr 2015 11:33:19 +0200 | hoelzl | move filters to their own theory | file | diff | annotate |