| Thu, 03 Mar 2016 17:03:09 +0100 | blanchet | made Nitpick more robust | changeset | files |
| Thu, 03 Mar 2016 08:33:55 +0100 | haftmann | constructive formulation of factorization | changeset | files |
| Wed, 02 Mar 2016 19:43:31 +0100 | wenzelm | support for ML_exception_debugger; | changeset | files |
| Wed, 02 Mar 2016 10:02:12 +0100 | traytel | respect qualification when noting theorems in prim(co)rec | changeset | files |
| Wed, 02 Mar 2016 10:01:31 +0100 | nipkow | added invariant proofs to AA trees | changeset | files |
| Tue, 01 Mar 2016 22:49:33 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 01 Mar 2016 22:11:36 +0100 | wenzelm | clarified modules; | changeset | files |