isabelle: Changelog

nipkow [Mon, 13 Apr 2015 12:13:52 +0200] rev 60044

merged

nipkow [Mon, 13 Apr 2015 10:36:06 +0200] rev 60043

moved _aux functions from AFP/Collections to AList

hoelzl [Mon, 13 Apr 2015 00:59:17 +0200] rev 60042

merged

hoelzl [Sun, 12 Apr 2015 11:34:16 +0200] rev 60041

replace Filters in NSA by HOL-Filters

hoelzl [Sun, 12 Apr 2015 11:34:09 +0200] rev 60040

move MOST and INFM in Infinite_Set to Filter; change them to abbreviations over the cofinite filter

hoelzl [Sun, 12 Apr 2015 11:33:50 +0200] rev 60039

add cofinite filter

hoelzl [Sun, 12 Apr 2015 11:33:44 +0200] rev 60038

add frequently as dual for eventually

hoelzl [Sun, 12 Apr 2015 11:33:30 +0200] rev 60037

add quantifier syntax for eventually

hoelzl [Sun, 12 Apr 2015 11:33:19 +0200] rev 60036

move filters to their own theory

hoelzl [Sun, 12 Apr 2015 16:04:53 +0200] rev 60035

fix latex in Transcendental

isabelle