| Mon, 09 May 2016 17:23:19 +0100 | paulson | lemmas about dimension, hyperplanes, span, etc. | changeset | files |
| Mon, 09 May 2016 17:22:32 +0200 | wenzelm | merged | changeset | files |
| Mon, 09 May 2016 14:37:47 +0200 | wenzelm | clarified context, notably for internal use of Simplifier; | changeset | files |
| Mon, 09 May 2016 16:02:23 +0100 | paulson | renamings and refinements | changeset | files |
| Wed, 04 May 2016 10:19:01 +0200 | hoelzl | move Stirling numbers from AFP/Discrete_Summation | changeset | files |
| Sun, 01 May 2016 17:26:27 +0200 | nipkow | the standard While-rule | changeset | files |
| Fri, 29 Apr 2016 01:21:44 +0200 | wenzelm | re-tuned c9605a284fba, which impacts performance significantly (for unclear reasons) -- make AFP/Collections build again; | changeset | files |
| Thu, 28 Apr 2016 15:42:52 +0200 | wenzelm | unfold is subject to unfold_abs_def (still inactive); | changeset | files |