| Fri, 09 Oct 2015 20:26:03 +0200 | wenzelm | discontinued specific HTML syntax; | file | diff | annotate |
| Wed, 30 Sep 2015 16:36:42 +0100 | paulson | real_of_nat_Suc is now a simprule | file | diff | annotate |
| Wed, 09 Sep 2015 20:57:21 +0200 | wenzelm | simplified simproc programming interfaces; | file | diff | annotate |
| Mon, 31 Aug 2015 21:28:08 +0200 | wenzelm | prefer symbols; | file | diff | annotate |
| Thu, 06 Aug 2015 23:56:48 +0200 | haftmann | slight cleanup of lemmas | file | diff | annotate |
| Sun, 12 Apr 2015 11:34:16 +0200 | hoelzl | replace Filters in NSA by HOL-Filters | file | diff | annotate |
| Tue, 31 Mar 2015 21:54:32 +0200 | haftmann | given up separate type classes demanding `inverse 0 = 0` | file | diff | annotate |