Fri, 26 Jun 2015 14:53:28 +0200 | wenzelm | do not expose goal parameters; | file | diff | annotate |
Thu, 07 May 2015 15:34:28 +0200 | hoelzl | generalized tends over powr; added DERIV rule for powr | file | diff | annotate |
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 |