| Wed, 26 Feb 2014 23:09:29 +0100 | traytel | intermediate typedef for the type of the bound (local to lfp) | changeset | files |
| Wed, 26 Feb 2014 17:14:23 +0100 | wenzelm | merged | changeset | files |
| Wed, 26 Feb 2014 17:12:07 +0100 | wenzelm | tuned specifications and proofs; | changeset | files |