| Fri, 27 May 2016 23:35:13 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 27 May 2016 20:23:55 +0200 | wenzelm | tuned proofs, to allow unfold_abs_def; | changeset | files |
| Fri, 27 May 2016 20:13:06 +0200 | wenzelm | clarified "unfold" operations; | changeset | files |